Assertion: set's subset | /r/HasProperty | i of p
Facets:
Source sentences:
text: An interval in a poset P is a subset I of P with the property that, for any x and y in I and any z in P, if x ≤ z ≤ y, then z is also in I.