Assertion: ordered set | /r/HasProperty | distributive lattice
Facets:
Source sentences:
text: Hence a totally ordered set is a distributive lattice.