l'insieme vuoto ∅ è automaticamente un sottoinsieme di qualsiasi altro insieme B. Infatti siccome l'insieme vuoto non contiene nessun elemento, la proprietà “gli elementi di ∅ sono contenuti in B” viene automaticamente verificata, perché non c'è alcun elemento di ∅ che non la soddisfa!
Nella teoria degli insiemi l'insieme vuoto Ø è un sottoinsieme di qualsiasi insieme. Quindi, l'insieme vuoto Ø è anche un sottoinsieme di A. Per questo motivo Ø è un elemento dell'insieme delle parti P(A). Devo specificare che {Ø} non è l'insieme vuoto bensì un elemento dell'insieme delle parti.
Esempio 1: Sia A ≔ {l'insieme dei numeri naturali strettamente minori di 0}. Per definizione, ℕ non ammette numeri negativi, per cui l'insieme A non contiene alcun elemento: A = ∅. Esempio 2: Sia B ≔ {x ∈ ℕ | x + 1 = 0} e questo insieme, che prende numeri dall'insieme dei naturali ℕ, risulta essere vuoto: B = ∅.
L'insieme vuoto è un insieme senza alcun elemento. Il simbolo dell'insieme vuoto è Ø. L'insieme dei numeri naturali dispari divisibili per due è un insieme vuoto, perché nessun numero naturale dispari può essere diviso per due.
Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento. E' un concetto controintuitivo rispetto alla definizione 'ingenua', ma necessario. Anche l'insieme vuoto e l'insieme A stesso soddisfano la definizione, ma sono sottoinsiemi particolari, chiamati impropri.