Assertion: set | /r/HasProperty | ordered by inclusion
Facets:
Source sentences:
text: Inclusion is the canonical partial order in the sense that every partially ordered set (X, ⪯ {\displaystyle \preceq } ) is isomorphic to some collection of sets ordered by inclusion.
text: The generalization to arbitrary algebras is that the set of subalgebras of an algebra, again ordered by inclusion, is always an algebraic lattice, and every algebraic lattice arises as the lattice of subalgebras of some algebra.