Definition:One (Cardinal)

From ProofWiki
Jump to navigation Jump to search

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.


Sources