free semigroup with involution