Closed Substructure of Semigroup is Semigroup