Fungrim entry: 81efd5

Symbol: Cardinality —

\left|S\right|

— Set cardinality

Cardinality(S), rendered as

\left|S\right|

, represents the cardinality of the set

S

. The cardinality of a finite set is a nonnegative integer. Cardinalities of infinite sets may be represented in terms of this symbol; for example,

\left|\mathbb{Z}\right|

is the cardinality of any countable set and

\left|\mathbb{R}\right|

is the cardinality of the continuum.

Definitions:

Fungrim symbol	Notation	Short description
`Cardinality`	$\left\|S\right\|$	Set cardinality
`ZZ`	$\mathbb{Z}$	Integers
`RR`	$\mathbb{R}$	Real numbers

Source code for this entry:

Entry(ID("81efd5"),
    SymbolDefinition(Cardinality, Cardinality(S), "Set cardinality"),
    Description(SourceForm(Cardinality(S)), ", rendered as", Cardinality(S), ", represents the cardinality of the set", S, ".", "The cardinality of a finite set is a nonnegative integer.", "Cardinalities of infinite sets may be represented in terms of this symbol;", "for example,", Cardinality(ZZ), "is the cardinality of any countable set", "and", Cardinality(RR), "is the cardinality of the continuum."))

Topics using this entry

Elementary logic and set theory