. . . "Semigroup with involution"@en .