Esto es debido a que «todo elemento de lo es de » significa lo mismo que « no tiene ningún elemento que esté en », y esto es cierto sea cual sea ya que no tiene elementos.