Inverse relation
Encyclopedia : I : IN : INV : Inverse relation
In logic and mathematics, the inverse relation of a binary relation [L \subseteq X \times Y] is the binary relation [L^ \subseteq Y \times X] defined by [L^ = \].
The inverse relation is also called the converse relation and may be written as [L^\!], [L^\!], or [\breve].
In particular, the inverse relation of a function [f : X \to Y] is the binary relation [f^ \subseteq Y \times X] defined by [f^ = \]. It is not necessarily the case that the inverse relation of a function is itself a function. In the case that it is, it may be called the inverse function of the function in question.
See also
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.