Operations on elements in sets

equivalence relation induces a partition An equivalence relation must be "rst" - reflexive, symmetric and transitive.

binary operations

Operation tables, or Cayley tables, are "multiplication tables" listing all the possible pairs of elements and their product.