 Theorem 1 (Ordinal representation). Let \(S\) be a finite set, and \(\preceq\) a weak preference relation on \(S\). Then there is an ordinal utility function that represents \(\preceq\) just in case \(\preceq\) is complete and transitive.