Axiom:Product Inverse Operation Axioms

Definition
Let $\struct {G, \oplus}$ be a closed algebraic structure on which the following hold:

These four stipulations are known as the product inverse operation axioms.

Also see

 * Definition:Product Inverse Operation