Not all functions have inverse functions: for example, function formula_22 has none (because formula_23, and formula_24 cannot be both 1 and -1), but every binary relation has its own inverse relation.