Conjunto vazio ou conjunto nulo, representado pelo símbolo Ø ou pelo símbolo { }, é um conjunto que não possui elementos. Sua existência é mera consequência do axioma da especificação A intersecção do conjunto vazio com qualquer conjunto A é o próprio conjunto vazio.