ABSTRACT
Axiom C2 asserts that the choice of the fixed value from A i is immaterial in defining these induced orders. Axiom C3. Thomsen Condition:
F o ra llx ,i/ ,z £ A \ andu , v , w € A 2:
(x, w) ~ (z, v) and (z, u) ~ (y, w) = > (x, u) ~ (y, v). (D. 1)
The Thomsen condition is a form of cancellation property that must hold if there is an additive representatioa Note that w and z, which each appears once on opposite sides in the suppositions, are, in effect, canceled.
