Quick Recap — Relations & Functions
- A relation from to is a subset of ; a function assigns each input exactly one output.
- Counting: functions number ; relations from to number .
- Types: one-one (injective), onto (surjective), bijective (both).
- Composition ; inverse exists iff is a bijection.