Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Clarified the asymmetric requirements, thanks to Will K for catching the mistake

...

  • For all xx < x == false (irreflexivity)
  • For all x, y:  if x < y then != (y < x) (asymmetry)
  • For all xyzx < y && y < z == x < z (transitivity)

...