Cardinality

$\newcommand{\dom}{\operatorname{Dom}} \newcommand{\codom}{\operatorname{Codom}} \newcommand{\range}{\operatorname{Rng}} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\card}{\operatorname{card}} \newcommand{\rel}{\operatorname{rel}} \newcommand{\Rel}{\operatorname{Rel}} \newcommand{\logeq}{\Longleftrightarrow} \renewcommand{\implies}{\Longrightarrow} \def\tcboxmath{} \def\coloneqq{:=} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \definecolor{fillinmathshade}{gray}{0.9} \newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}} $

Chapter 9 Cardinality

I counted everything. I counted the steps to the road, the steps up to church, the number of dishes and silverware I washed … anything that could be counted, I did.
―Katherine Johnson, mathematician

In this chapter, we will explore the notion of cardinality, which formalizes what it means for two sets to be the same “size”.

Prev Top Next