L'insieme vuoto è un sottoinsieme di un qualunque insieme "A".
Ciò significa che se si considera un insieme "A", allora l'insieme vuoto è sempre un sottoinsieme di "A", indipendentemente da qualsiasi elemento possa contenere "A".