Si dos conjunts qualssevol, A i B, són buits, també són iguals, ja que per a tots dos es compleix que ∀x(x∈A↔x∈B)