Introduction to proof and discrete mathematics
Relations and their properties
Reflexive, symmetric, antisymmetric and transitive as quantified statements, and the two combinations that name almost every relation worth having.
About 20 minutes6 activities Paper packet