Definitions

Natural Numbers: $\N = \{0,1,\dots\}$

Power Set: $\mathcal{P}(S)=\{A: A\sub S \}$

Functions

Function: $f:A\to B$

Injective / One-to-One: $f:A\to B$ is injective if

Surjective / Onto: $f:A \to B$ is surjective if

Bijective: Both injective and surjective

Cantor’s Theorem