 With all this in hand, Savage’s result can be established as follows. First, one introduces a relation of “subjective comparative probability” \(\unrhd\), such that \(A\unrhd B\) iff for all outcomes \(x_1\) and \(x_2\) such that \(x_1\succ x_2\), \(x_1Ax_2\succeq x_2Ax_1\) iff \(x_1Bx_2\succeq x_2Bx_1\). Savage’s axioms can then be shown to ensure that \(\unrhd\) satisfies a number of appropriate properties, with Small Event Continuity ensuring that \(\unrhd\) is representable by a subjective probability function \(P\) that is unique. It is worth noting that, in the presence of Weak Comparative Probability, it is mainly the Sure-Thing principle that allows the derivation of the additivity property of \(P\).