Conjunto vazio

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. Um termo alternativo para conjunto vazio, porém inadequado, é conjunto nulo que possui, em teoria da medida, um significado técnico não-equivalente. Realmente, o conjunto vazio é, por definição de medida, um conjunto de medida nula, mas é o único conjunto de medida nula sem elementos. Uma notação para o conjunto vazio, bastante comum, é "{ }". Duas outras notações, igualmente comuns, são " ∅ {\displaystyle \varnothing } " e " ∅ {\displaystyle \emptyset } ". Estas foram introduzidas pelo grupo Bourbaki (mais especificamente por André Weil), em 1939, e são inspiradas na letra Ø do alfabeto dano-norueguês (e não possuem, de maneira alguma, relação com a letra grega Φ). Outras notações para o conjunto vazio, de uso menos frequente, são "Λ" e "0".