Definition:One (Cardinal)

Definition
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.