Denotemos a este conjunto por formula_13.