Definition:Empty Set/Existence

Definition
Some authors have problems with the existence (or not) of the empty set:


 * : Introduction $\S 1$: Operations on Sets:
 * One may regard [the vacuous set] as a zero element that is adjoined to the collection of "real" subsets.


 * : $\S 1.3$:
 * If $A, B$ are disjoint, then $A \cap B$ is not really defined, because it has no elements. For this reason we introduce a conventional empty set, denoted $\varnothing$, to be thought of as a 'set with no elements'. Of course this is a set only by courtesy, but it is convenient to allow $\varnothing$ the status of a set.


 * : Appendix:
 * The best attitude towards the empty set $\varnothing$ is, perhaps, to regard it as an interesting curiosity, a convenient fiction. To say that $x \in \varnothing$ simply means that $x$ does not exist. Note that it is conveniently agreed that $\varnothing$ is a subset of every set, for elements of $\varnothing$ are supposed to possess every property.


 * : $1$: Set Theory and Logic: $\S 1$: Fundamental Concepts
 * Now some students are bothered with the notion of an "empty set". "How", they say, "can you have a set with nothing in it?" ... The empty set is only a convention, and mathematics could very well get along without it. But it is a very convenient convention, for it saves us a good deal of awkwardness in stating theorems and proving them.

Such a philosophical position is, to the school of anarchist Bourbakist existentialists such as Matt Westwood, a contemptibly timid attitude harking back to the mediaeval distrust of zero.

Other sources allow the definition of the empty set, but because of the way natural numbers are defined, determine that it is neither finite nor infinite.