Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento. Nella teoria assiomatica degli insiemi l’assioma dell’insieme vuoto ne postula l’esistenza. Partendo da questo sono costruiti tutti gli insiemi finiti. L’insieme vuoto è chiamato talvolta anche insieme nullo, ma ciò può creare confusione con il concetto esposto nella voce insieme nullo, argomento studiato in teoria della misura. Diverse proprietà insiemistiche sono banalmente vere per l’insieme vuoto.