Em matemática, mais especificamente em teoria dos conjuntos, o conjunto vazio é o único conjunto que não possui elementos. Dizemos que o seu tamanho ou cardinalidade é zero. Em algumas teorias de conjuntos a sua existência é postulada mediante o axioma do conjunto vazio; em outras é deduzida.