cuando hay al menos una solución x a un conjunto de la forma