The notion of an inverse is used for many types of mathematical constructions. For example, if is a function restricted to a domain and range in which it is bijective and is a function satisfying for all , then is the unique function with this property, called the inverse function of , written . It also follows that for all , so , i.e., inversion is symmetric. However, "inverse functions" are also commonly defined for functions that are not bijective (most commonly for elementary functions in the complex plane, which are multivalued), in which case, one of both of the properties may fail to hold.
Inverses are also defined for elements of groups, rings, and fields (the latter two of which can possess two different types of inverses known as additive and multiplicative inverses). Every definition of inverse is symmetric and returns the starting value when applied twice.