Sets, Functions, and Relations

Functions are relationships with one rule: every input has exactly one output. Equivalence relations partition a set into classes — a structure appearing from modular arithmetic to topology.