 Savage proves that there exists a certain specific set of constraints on preference orderings over acts that will be satisfied if and only if this ordering is representable by a real-valued function \(U\) with domain \(\mathcal{A}\) (so that \(f\succeq g\) iff \(U(f)\succeq U(g)\)), such that 