Definition:Unitary Semigroup