Assertion: ring | /r/CapableOf | form distributive lattice
Facets:
Source sentences:
text: A ring of sets in the order-theoretic sense forms a distributive lattice in which the intersection and union operations correspond to the lattice's meet and join operations, respectively.