# Category:Inverse Elements

This category contains results about Inverse Elements in the context of Abstract Algebra.
Definitions specific to this category can be found in Definitions/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$.

## Subcategories

This category has the following 11 subcategories, out of 11 total.