Linked from
The 40 pages that link to Empty set, each with the reason it gives.
SetBroader topic: It is the simplest set and a subset of every set.
Set theoryBroader topic: It anchors constructions that build larger sets from nothing.
Lebesgue integralRelated: Null sets explain why pointwise differences can be irrelevant to integration.
Lebesgue measureRelated: Lebesgue measure treats sets of measure zero as negligible in integration and almost-everywhere statements.
Power setRelated: It is a subset of every set and always appears in the power set.
Cartesian productRelated: A product with an empty factor is empty because no tuple can choose from it.
ZeroCompared with: The empty set has cardinality zero, but it is a set rather than a number.
SubsetRelated: It is a subset of every set because it has no element that could violate the condition.
Finite setBroader topic: It is finite with cardinality zero when zero is included among the natural numbers.
Interval (mathematics)Compared with: Under the between-points definition, the empty set qualifies as an interval vacuously.
Almost sure convergenceRelated: The exceptional outcomes where convergence fails must form a null set.
Identity elementRelated: For set union, the empty set is an identity because union with it preserves any set.
Almost everywhereRelated: Null sets are precisely the negligible exceptional sets that almost-everywhere statements permit.
Dominated convergence theoremRelated: Exceptional failures of convergence on null sets do not affect the theorem's integral conclusion.
Baire category theoremCompared with: Meagreness concerns topology, not measure; a set can be meagre without being null, or vice versa.
Cumulative hierarchyRelated: It is the sole member of the hierarchy's initial nonempty level.
Measure spaceBroader topic: Zero size does not imply emptiness in a measure space.
Poincaré recurrence theoremRelated: The points that fail recurrence form a null set under the theorem's assumptions.
Almost-everywhere convergenceRelated: The points where convergence fails must fit inside such a set.
Radon–Nikodym theoremRelated: Absolute continuity is defined by how the first measure treats the reference measure’s null sets.
Axiom of extensionalityBroader topic: Extensionality proves that any two sets with no members are the same empty set.
Axiom of unionRelated: If the input family is empty, its union is the empty set.
ElementCompared with: It shows that a set can exist without having any elements.
InfimumRelated: Its lower bounds are all elements, so an infimum exists only when the order has a least element.
Least elementRelated: It is the least element of a power set ordered by inclusion.
Upper boundBroader topic: Every element of an ordered space vacuously bounds the empty set.
Absolute continuityRelated: Absolute continuity prevents function change from being concentrated on such negligible sets.
Axiom of infinityRelated: It serves as the initial element required by the axiom's inductive-set condition.
Vitali covering theoremRelated: The theorem permits a leftover set only when it has measure zero.
Von Neumann universeBroader topic: It is the sole member of the hierarchy’s first nonempty stage.
Axiom of regularityRelated: It is disjoint from every set and serves as a simple example of a regular set.
Lebesgue decomposition theoremRelated: Absolute continuity and singularity are both expressed through sets that have measure zero.
Axiom of Empty SetBroader topic: It is the set whose existence the axiom guarantees.
Hahn decomposition theoremRelated: Uniqueness holds only after disregarding sets null for the signed measure.
Steinhaus theoremCompared with: The positive-measure hypothesis cannot be dropped: null sets may have difference sets with empty interior.
0 (number)Compared with: Zero counts the elements of the empty set, but is itself a number, not a set.
Borel conjectureRelated: Strong measure zero implies measure zero, but the converse fails.
Denjoy–Luzin theoremRelated: The theorem’s conclusion says discontinuities can occur only on a null set.
Element of a setCompared with: It shows that a set can exist even when nothing belongs to it.
Initial and terminal objectsBroader topic: It is initial in the category of sets because exactly one function leaves it for each set.