Semigroup with involution

A **semigroup with involution** is an algebraic structure that combines the properties of a semigroup with the concept of an involution. ### Components of a Semigroup with Involution 1. **Semigroup**: A semigroup is a set \( S \) equipped with a binary operation (let's denote it as \( \cdot \)) that satisfies the associative property.