Equivalence ClassesIntroduces equivalence classes for decomposing a set into subsets of equivalent elements, defining the quotient set X/~.
Möbius inversion: posetsCovers the Möbius inversion for posets, defining partially ordered sets and explaining the incidence algebra.