Assertion: algebra's set | /r/CapableOf | form distributive lattice
Facets:
value: for any natural number n
type: OTHER
Source sentences:
text: For any natural number n , the set of all positive divisors of n , defining a ≤ b if a divides b , forms a distributive lattice.
text: , the set of all positive divisors of , defining ≤ if divides , forms a distributive lattice.