In una qualunque costruzione della teoria degli insiemi si dimostra che

                                ( * )

e' un insieme.

L'insieme definito dalla ( * ) si dice "insieme vuoto".