Difference between revisions of "Empty set"
Jump to navigation
Jump to search
m (Undo revision 357582 by Special:Contributions/Conservetiveguy56 (User talk:Conservetiveguy56)) |
|||
| 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. | |
[[Category: set theory]] | [[Category: set theory]] | ||
Revision as of 19:59, December 24, 2007
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.