Category:Definitions/Inverse Elements

From ProofWiki
Jump to: navigation, search

This category contains definitions related to Inverse Elements.
Related results can be found in Category:Inverse Elements.


The element $y$ is an inverse of $x$ if and only if:

$y \circ x = e_S = x \circ y$

that is, if and only if $y$ is both:

a left inverse of $x$

and:

a right inverse of $x$.