Fungrim entry: 81efd5

Symbol: Cardinality —

\# S

— Set cardinality

Cardinality(S), rendered as

\# 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,

\# \mathbb{Z}

is the cardinality of any countable set and

\# \mathbb{R}

is the cardinality of the continuum.

Definitions:

Fungrim symbol	Notation	Short description
`Cardinality`	$\# S$	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