Notemos que un conjunto no vacío formula_110 de transformaciones biyectivas determina un grupo de transformaciones cuando es cerrado respecto a la composición de funciones y a tomar inversos.