Semigroup with involution

In mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group:Uniqueness Double application "cancelling itself out". The same interaction law with the binary operation as in the case of the group inverse.

This keyword could refer to multiple things. Here are some suggestions: