Abstract


Antisymmetric

  • A relation where, if one element is related to another element, and that second element is related back to the first, then both elements must be the same element

Hasse Diagram

  • A diagram used to represent Partial Order with sufficient information

Important

  1. Remove self loops, we know partial order is Reflexive
  2. Remove transitive edges, we know partial order is Transitive
  3. Remove arrows, we place the elements in a way such that the edges are pointing upwards

References