To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Converse relation

From Wikipedia, the free encyclopedia

In mathematics, the converse relation, or transpose, of a binary relation is the relation that occurs when the order of the elements is switched in the relation. For example, the converse of the relation 'child of' is the relation 'parent of'. In formal terms, if and are sets and is a relation from to then is the relation defined so that if and only if In set-builder notation,

The notation is analogous with that for an inverse function. Although many functions do not have an inverse, every relation does have a unique converse. The unary operation that maps a relation to the converse relation is an involution, so it induces the structure of a semigroup with involution on the binary relations on a set, or, more generally, induces a dagger category on the category of relations as detailed below. As a unary operation, taking the converse (sometimes called conversion or transposition) commutes with the order-related operations of the calculus of relations, that is it commutes with union, intersection, and complement.

The converse relation is also called the transpose relation — the latter in view of its similarity with the transpose of a matrix.[1] It has also been called the opposite or dual of the original relation,[2] or the inverse of the original relation,[3][4][5] or the reciprocal of the relation [6]

Other notations for the converse relation include or


For the usual (maybe strict or partial) order relations, the converse is the naively expected "opposite" order, for examples,

A relation may be represented by a logical matrix such as

Then the converse relation is represented by its transpose matrix:

The converse of kinship relations are named: " is a child of " has converse " is a parent of ". " is a nephew or niece of " has converse " is an uncle or aunt of ". The relation " is a sibling of is its own converse, since it is a symmetric relation.

In set theory, one presumes a universe of discourse, and a fundamental relation of set membership when is a subset of The power set of all subsets of is the domain of the converse


In the monoid of binary endorelations on a set (with the binary operation on relations being the composition of relations), the converse relation does not satisfy the definition of an inverse from group theory, that is, if is an arbitrary relation on then does not equal the identity relation on in general. The converse relation does satisfy the (weaker) axioms of a semigroup with involution: and [7]

Since one may generally consider relations between different sets (which form a category rather than a monoid, namely the category of relations Rel), in this context the converse relation conforms to the axioms of a dagger category (aka category with involution).[7] A relation equal to its converse is a symmetric relation; in the language of dagger categories, it is self-adjoint.

Furthermore, the semigroup of endorelations on a set is also a partially ordered structure (with inclusion of relations as sets), and actually an involutive quantale. Similarly, the category of heterogeneous relations, Rel is also an ordered category.[7]

In the calculus of relations, conversion (the unary operation of taking the converse relation) commutes with other binary operations of union and intersection. Conversion also commutes with unary operation of complementation as well as with taking suprema and infima. Conversion is also compatible with the ordering of relations by inclusion.[1]

If a relation is reflexive, irreflexive, symmetric, antisymmetric, asymmetric, transitive, connected, trichotomous, a partial order, total order, strict weak order, total preorder (weak order), or an equivalence relation, its converse is too.


If represents the identity relation, then a relation may have an inverse as follows:

A relation is called right-invertible if there exists a relation with and left-invertible if there exists a with Then and are called the right and left inverse of respectively. Right- and left-invertible relations are called invertible. For invertible homogeneous relations all right and left inverses coincide; the notion inverse is used. Then holds.[1]:79

Converse relation of a function

A function is invertible if and only if its converse relation is a function, in which case the converse relation is the inverse function.

The converse relation of a function is the relation defined by the

This is not necessarily a function: One necessary condition is that be injective, since else is multi-valued. This condition is sufficient for being a partial function, and it is clear that then is a (total) function if and only if is surjective. In that case, meaning if is bijective, may be called the inverse function of

For example, the function has the inverse function

However, the function has the inverse relation which is not a function, being multi-valued.

See also


  1. ^ a b c Gunther Schmidt; Thomas Ströhlein (1993). Relations and Graphs: Discrete Mathematics for Computer Scientists. Springer Berlin Heidelberg. pp. 9–10. ISBN 978-3-642-77970-1.
  2. ^ Celestina Cotti Ferrero; Giovanni Ferrero (2002). Nearrings: Some Developments Linked to Semigroups and Groups. Kluwer Academic Publishers. p. 3. ISBN 978-1-4613-0267-4.
  3. ^ Daniel J. Velleman (2006). How to Prove It: A Structured Approach. Cambridge University Press. p. 173. ISBN 978-1-139-45097-3.
  4. ^ Shlomo Sternberg; Lynn Loomis (2014). Advanced Calculus. World Scientific Publishing Company. p. 9. ISBN 978-9814583930.
  5. ^ Rosen, Kenneth H. (2017). Handbook of discrete and combinatorial mathematics. Rosen, Kenneth H., Shier, Douglas R., Goddard, Wayne. (Second ed.). Boca Raton, FL. p. 43. ISBN 978-1-315-15648-4. OCLC 994604351.
  6. ^ Peter J. Freyd & Andre Scedrov (1990) Categories, Allegories, page 79, North Holland ISBN 0-444-70368-3
  7. ^ a b c Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds.). Relational Methods for Computer Science Applications. Springer Science & Business Media. pp. 135–146. ISBN 978-3-7908-1365-4.
This page was last edited on 24 July 2021, at 19:35
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.