Un subconjunto formula_3 de un formula_1-conjunto formula_5 es un formula_1-subconjunto, ssi, para todo formula_7 en formula_8 formula_9 en formula_10 formula_11 está en formula_3.