# trichotomy

Trichotomy

The property of real numbers which guarantees that for any two real numbers a and b, exactly one of the following must be true: a < b, a = b, or a > b.

Equivalence properties of equality