Review of sets, relations functions

• Basic review of set, subset, partition, equivalence relation.

• A partition of a set is a surjective map to the parts.

• Any \(a \in A\) can be thought of as a function \(\{1\} \xrightarrow{a} A\)