Dado un conjunto A no vacío y definidas dos aplicación de A por A sobre A, donde a cada par ordenado (a,b) se le asigna un valor c de A, que representamos: formula_10 y formula_29