Difference between revisions of "Empty set"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
| − | In [[set theory]], the '''empty set''' is the unique set that contains no element and is a subset of every other set. Its existence is postulated by the [[Axiom of empty set]] in the axioms of [[Zermelo–Fraenkel set theory]]. Though this seems counterintuitive, the empty set is a subset of the empty set, and the empty set is [[disjoint]] with itself | + | In [[set theory]], the '''empty set''' is the unique set that contains no element and is a subset of every other set. Its existence is postulated by the [[Axiom of empty set]] in the axioms of [[Zermelo–Fraenkel set theory]]. Though this seems counterintuitive, the empty set is a subset of the empty set, and the empty set is [[disjoint]] with itself. |
[[Category: set theory]] | [[Category: set theory]] | ||
Revision as of 02:52, February 23, 2009
In set theory, the empty set is the unique set that contains no element and is a subset of every other set. Its existence is postulated by the Axiom of empty set in the axioms of Zermelo–Fraenkel set theory. Though this seems counterintuitive, the empty set is a subset of the empty set, and the empty set is disjoint with itself.