Assertion: abelian group's element | /r/HasProperty | expressed as finite product of elements
Facets:
Source sentences:
text: In other words, if S is a subset of a group G, then ⟨S⟩, the subgroup generated by S, is the smallest subgroup of G containing every element of S, which is equal to the intersection over all subgroups containing the elements of S; equivalently, ⟨S⟩ is the subgroup of all elements of G that can be expressed as the finite product of elements in S and their inverses.