Fungrim home page

Fungrim entry: cf447f

Symbol: Set {}\left\{\ldots\right\} Set with given elements
Set(x, y, Ellipsis), rendered as {x,y,}\left\{x, y, \ldots\right\}, represents the finite set containing the given elements. In particular, Set() or {} is the empty set, and Set(x) or {x}\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

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

2019-09-19 20:12:49.583742 UTC