Monoid with involution

Redirect to:

• Semigroup with involution