Subsemigroup

From Free net encyclopedia

In mathematics, a subsemigroup of a group G is a subset of G that is a semigroup; that is, is closed under the group multiplication.