Assertion: set | /r/HasProperty | algebraic lattice
Facets:
value: always
type: DEGREE
Source sentences:
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.