Law of Trichotomy

For any real numbers x and y, exactly one of the following is true:

1. x = y
2. x < y
3. x > y