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.

Source: Wikipedia — Semigroup with involution (CC BY-SA 4.0)