Empty set

Notation and visual forms

Several symbols are commonly used to denote the empty set. The single-character symbol ∅ is widespread; the pair of braces { } or {} is the explicit set-builder form showing zero members; other typographical variants such as ∅ or the glyph for an empty pair of braces are also seen. For illustrations of these notations see images: . The term "null set" is sometimes used in informal contexts but can be ambiguous in areas like measure theory.

Basic logical and set-theoretic properties

The empty set has several elementary but important properties that are used throughout mathematics:

• Uniqueness: There is exactly one empty set. Any two sets with no elements are equal by definition.
• Cardinality: Its cardinality is zero.
• Subset relation: The empty set is a subset of every set. For any set A, ∅ ⊆ A.
• Union and intersection: For any set A, A ∪ ∅ = A and A ∩ ∅ = ∅.
• Power set: The power set P(∅) contains exactly one element, namely the empty set itself: P(∅) = {∅}.
• Cartesian product: The product of ∅ with any set is empty: ∅ × A = ∅.
• Functions: There is exactly one function whose domain is the empty set (the empty function).

Logic and vacuous truth

Statements that quantify over all elements of the empty set are automatically true; this is known as vacuous truth. For example, the universally quantified statement "every integer between 2 and 3 is greater than 7" is true because there are no integers in that range to provide a counterexample. Existential statements requiring at least one element of the empty set are false.

Historical notes and notation origin

The use of a distinct symbol for the empty set became standard in 20th-century mathematical writing. The symbol ∅ was popularized by groups of French mathematicians and in foundational texts; it is commonly said to be derived from the Scandinavian letter Ø rather than from the Greek letter phi. Care is taken in many contexts to avoid confusion between the empty set symbol and similar glyphs.

Role and examples in different areas

The empty set appears across mathematics and its formal presence simplifies definitions and proofs. In topology the empty set is both open and closed; in algebra the empty set behaves predictably under set operations; in combinatorics and logic it appears as an edge case that must be handled explicitly. Concrete examples include the solution set of x^2 + 1 = 0 over the real numbers (empty), or the set of continuous functions on an interval with no constraints that force a contradiction (often nonempty).

Related distinctions and cautions

Be careful with terms that sound similar: "null set" in measure theory typically means a set of measure zero, which may well contain points; this is different from the empty set, which contains none. When consulting definitions or formal constructions (for instance, constructions of the natural numbers via von Neumann ordinals that take 0 = ∅), the empty set plays a foundational rather than merely incidental role. For further reading on formal aspects and applications see introductory set-theory texts and resources on logic and topology (mathematics overview, empty set symbol, integers).

Notes on logic and notation: statements about all elements of ∅ illustrate logical statements that are vacuously true; the property is often discussed under the heading vacuous truth. The common glyph ∅ has linguistic roots related to the Scandinavian letter Ø. A simple visual reference is shown here: .