Este conjunto es en realidad un grupo, pues es fácil ver que si formula_47 (i.e.