# 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

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-09-15 13:58:57.282983 UTC