In logic and mathematics, the inverse relation of a binary relation is the binary relation defined by . Logic, from Classical Greek λόγος (logos), originally meaning the word, or what is spoken, (but coming to mean thought or reason) is most often said to be the study of criteria for the evaluation of arguments, although the exact definition of logic is a matter of controversy among philosophers. ... Mathematics is often defined as the study of topics such as quantity, structure, space, and change. ... In mathematics, the concept of binary relation, sometimes called dyadic relation, is exemplified by such ideas as is greater than and is equal to in arithmetic, or is congruent to in geometry, or is an element of or is a subset of in set theory. ...

The inverse relation is also called the converse relation and may be written as , , or .

In particular, the inverse relation of a function is the binary relation defined by . 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. Partial plot of a function f. ... In mathematics, the concept of binary relation, sometimes called dyadic relation, is exemplified by such ideas as is greater than and is equal to in arithmetic, or is congruent to in geometry, or is an element of or is a subset of in set theory. ... In mathematics, an inverse function is in simple terms a function which does the reverse of a given function. ...

See also

• Bijection
• Binary relation
• Function (mathematics)
• Inverse function
• Relation (mathematics)