Monoid with involution

Redirect to:

  • Semigroup with involution