A tal subconjunto se le exige que para cualesquiera formula_2 y todo formula_3 con formula_4 se satisfaga que formula_5.