Subsemigroup

Summary