
Relations: Properties, Counts, Closures
Set identities, power sets and Cartesian products; the six relation properties with matrix and digraph tests; how many relations on an n-element set have each property or combination (brute-forced for n = 3 and 4); the empty and identity relations; composition of relations; reflexive, symmetric and transitive closures with Warshall's algorithm; which properties survive union and intersection; and a solved past question on a relation defined by a formula.
