Quick Recap — Sets: Counting & Relations
- Inclusion–exclusion: .
- Relation counts on an -set: all ; reflexive ; symmetric .
- Function counts : all ; one-one ; onto by inclusion–exclusion.
- Equivalence relation = reflexive + symmetric + transitive; it partitions the set into classes.