Some new theorems about injectivity, surjectivity and countability
Prove an even better version of the countable decomposition theorem.

Again thanks to the awesomeness that is Zorn’s Lemma, we have that
every infinite set can be partitioned into (disjoint) countable sets.