En la teoría de conjuntos axiomática estándar, por el Axioma de extensionalidad, dos conjuntos son iguales si tienen los mismos elementos; por lo tanto sólo puede haber un conjunto sin ningún elemento.