Assertion: algebra's element | /r/HasProperty | l max of x
Facets:
Source sentences:
text: In other words, there exists some element L max of X satisfying the condition that whenever L max ⊆ L for some element L of X, then L = L max .