The trichotomy law is a very simple property that establishes order amongst real numbers. It states that for any two real numbers x and y, exactly one of the following must be true:

  • x < y
  • x > y
  • x = y