Introduction to proof and discrete mathematics
Equivalence relations and partitions
Why reflexivity makes the classes cover everything and symmetry with transitivity makes them disjoint, and why a partition is the same information read backwards.
About 20 minutes6 activities Paper packet