Part I proposes a numeraire-invariant option pricing framework. It defines an option, its price process, and such notions as option indistinguishability and equivalence, domination, payoff process, trigger option, and semipositive option. It develops some of their basic properties, including...