Definition

Let .

  • If , then we write or
  • If , then we write or

Based on the Tricothomy Property, if both and , then .

For notational convenience, we can write and as . Also applies to the “or equal to” notation.