Asociado a formula_1-conjuntos, tenemos la noción de formula_1-subconjunto.