For any two real numbers a and b, one and only one of these three propositions are true: a<b, a>b, or a=b.