\begin{definition}[Definition:One (Cardinal)]
The cardinal associated with the singleton $\set \O$ is called '''one''', and is denoted $1$.
More informally, this means that '''one''' is defined as being '''the number of elements in a singleton set'''.
\end{definition}