Assertion: ordered set | /r/HasProperty | ordered by subset inclusion
Facets:
Source sentences:
text: As an example, let S be the set of all finite subsets of natural numbers and consider the partially ordered set obtained by taking all sets from S together with the set of integers ℤ and the set of positive real numbers ℝ+, ordered by subset inclusion as above.