Category:Existence of Unique Subsemigroup Generated by Subset