Hay términos para los diversos tipos de funciones (u operadores), tales como...
associative - (a # b) # c = a # (b # c)
commutative - a # b = b # a
idempotent - f (f (x)) = f (x)
Hay un nombre similar para las funciones que son de su propia inversa?
f (f (x)) = x