Dado un conjunto A no vacío y definida una 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