`Set(x, y, Ellipsis)`, rendered as $\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 $\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."))