Set

A fundamental object determined entirely by which elements it contains.
Set

A set is an object AA for which statements of the form xAx\in A (read “xx is an element of AA”) are meaningful, and whose identity is determined by extensionality: for sets A,BA,B,

A=B    x(xAxB). A=B \iff \forall x\,\bigl(x\in A \Leftrightarrow x\in B\bigr).

Many basic constructions in set theory are specified by describing their elements, such as , , and the .

Examples:

  • The set of natural numbers N\mathbb{N} (see ).
  • For a real number aa, the singleton {a}={x:x=a}\{a\}=\{x : x=a\} is the set containing exactly the element aa.