A tal conjunto lo denotamos por formula_3.