Subsemigroup/Examples