Assertion: open interval | /r/HasProperty | the set
Facets:
Source sentences:
text: $a < b$ , then the open interval determined by the endpoints $a$ and $b$ is the set $(a, b) := \{