An arrangement on a Set where there exists certain pairs of elements, one element exceeds the other element.

  • Not every pair of elements must be comparable