Sets, Functions & Relations

Building blocks

• Function f: A→B — injective, surjective, bijective.
• Relation R ⊆ A×A — reflexive, symmetric, transitive → equivalence relation.
• Equivalence classes partition the set.
• Partial orders: reflexive, antisymmetric, transitive.