The principles of mapping natural numbers to sets. Includes definitions of injections, surjections, bijections, and countability with examples like integers and rational numbers