Assertion: abelian group's subgroup | /r/HasProperty | set-theoretic union
Facets:
Source sentences:
text: (While the infimum here is the usual set-theoretic intersection, the supremum of a set of subgroups is the subgroup generated by the set-theoretic union of the subgroups, not the set-theoretic union itself.)