Assertion: outer limit | /r/MadeOf | inner limit
Facets:
value: always
type: DEGREE
Source sentences:
text: Because ordering is by set inclusion, then the outer limit will always contain the inner limit (i.e., lim inf X n ⊆ lim sup X n ).