semigroup with involution

semigroup equipped with an involutive anti-automorphism