Cardinality (source code)

= Cardinality
{title2=$|X|$}
{wiki}

The cardinality $|X|$ of a <set> $X$ is the <cardinal number> shared by all sets in <bijection> with $X$. For a <finite set>, it is the number of elements.