es un conjunto formula_14 de morfismos entre las estructuras algebraicas formula_15 tales que formula_16.