La parte principal de la prueba considerará el caso de un conjunto no vacío, y examinará los elementos detalladamente; en el caso donde el conjunto esté vacío, la propiedad será poseída trivialmente por todos los elementos, dado que no hay ninguno.