Fungrim home page

Fungrim entry: 81efd5

Symbol: Cardinality #S\# S Set cardinality
Cardinality(S), rendered as #S\# S, represents the cardinality of the set SS. The cardinality of a finite set is a nonnegative integer. Cardinalities of infinite sets may be represented in terms of this symbol; for example, #Z\# \mathbb{Z} is the cardinality of any countable set and #R\# \mathbb{R} is the cardinality of the continuum.
Definitions:
Fungrim symbol Notation Short description
Cardinality#S\# S Set cardinality
ZZZ\mathbb{Z} Integers
RRR\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