Fungrim symbol: Cardinality

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 symbol

The symbol Cardinality appears in 6 topics:

Partition function (in 5 entries)
Greatest common divisor (in 4 entries)
Prime numbers (in 1 entries)
Modular j-invariant (in 1 entries)
Legendre polynomials (in 1 entries)
Elementary logic and set theory (in 1 entries)

Entries using this symbol

The symbol Cardinality appears in 13 entries: