Assertion: group's number | /r/HasProperty | ordered by divisibility
Facets:
Source sentences:
text: The lattice of subgroups of Z is isomorphic to the dual of the lattice of natural numbers ordered by divisibility.