Similarmente, uno podría querer probar que alguna propiedad es poseída por todos los miembros de un determinado conjunto.