Если мы думаем о композиции как о разновидности умножения функций, это тождество говорит о том, что обратная функция аналогична мультипликативной обратной.
Не все функции имеют обратные функции. Найти обратную функцию может быть очень сложно.