Assertion: set's subset | /r/HasProperty | ordered by set inclusion
Facets:
value: partially
type: DEGREE
Source sentences:
text: Order isomorphism between the divisors of 120 (partially ordered by divisibility) and the divisor-closed subsets of {2,3,4,5,8} (partially ordered by set inclusion)