Las aplicaciones anteriores con la composción de funciones forman un semigrupo (y si están definidas las inversas un grupo uniparamétrico).