es un conjunto con un solo elemento, a saber, la imagen de formula_23 por formula_3.