Cardinality
Finite sets
Function relations over sized sets (Theorem 3.1)
Cardinality between countably infinite sets (Theorem 3.2)
pigeonhole principle