A trichotomy is a splitting into three parts: less than, equal to and greate.

Example:

The trichotomy property states:

For any real numbers, a and b, exactly one of the following is true:

a < b

a = b

a > b