que la composición de funciones es asociativa, la función identidad, id es biyectiva y es un neutro para la composición, y cada función biyectiva es invertible y su inversa es biyectiva.