consistente en estructuras algebraicas formula_2