Cuando formula_26, la composición provee a formula_27 de una estructura de monoide, con neutro la identidad.