Tenemos un conjunto y tres propiedades susceptibles de ser verificadas por elementos del conjunto A cada una de las propiedades, se asocia un subconjunto de