Assertion: open interval | /r/HasProperty | an half open set
Facets:
Source sentences:
text: How do I show that any open interval is an half open set and use this to conclude that any open set is also half open?