An involution on a semigroup [on a monoid] is a unaryoperation defined on [resp. on ] such that for each [resp. for each ]
With this added internal operation, the semigroup [resp. the monoid ] becomes a semigroup with involution or -semigroup [resp. a monoid with involution or -monoid].