• Glossary
  • antisymmetric
  • associative
  • binary operation
  • commutative
  • equal
  • equivalence relation
  • idempotent
  • lazy
  • partial ordering
  • primitive
  • reflexive
  • relation
  • symmetric
  • total ordering
  • transitive