Assertion: algebra's set | /r/CapableOf | define a ≤ b
Facets:
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.