Document the Semigroup for Map