Fungrim entry: cf447f

Symbol: Set —

\left\{\ldots\right\}

— Set with given elements

Set(x, y, Ellipsis), rendered as

\left\{x, y, \ldots\right\}

, represents the finite set containing the given elements. In particular, Set() or

\left\{\right\}

is the empty set, and Set(x) or

\left\{x\right\}

is a singleton set.

Definitions:

Fungrim symbol	Notation	Short description

Source code for this entry:

Entry(ID("cf447f"),
    SymbolDefinition(Set, Set(Ellipsis), "Set with given elements"),
    Description(SourceForm(Set(x, y, Ellipsis)), ", rendered as", Set(x, y, Ellipsis), ", represents the finite set containing the given elements.", "In particular, ", SourceForm(Set()), "or", Set(), "is the empty set, and", SourceForm(Set(x)), "or", Set(x), "is a singleton set."))

Topics using this entry

Elementary logic and set theory

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

2019-06-18 07:49:59.356594 UTC