Assertion: open interval | /r/HasProperty | open sets of the real line
Facets:
Source sentences:
text: The open intervals are open sets of the real line in its standard topology, and form a base of the open sets.
text: The open intervals are open sets of the real line in its standard topology, and form a base of the open sets.