Determinación por comprension y extension de conjuntos.