Es decir, dado un conjunto y una propiedad relativa a conjuntos, podemos pues obtener el subconjunto de los elementos que verifican esa propiedad.