\begin{definition}[Definition:Cardinality]
Two sets (either '''finite''' or '''infinite''') which are '''equivalent''' are said to have the same '''cardinality'''.
The '''cardinality''' of a set $S$ is written $\card S$.
\end{definition}