Assertion: open interval | /r/MadeOf | rational number
Facets:
Source sentences:
text: U$ there is an open interval containing $u$ which lies wholly in $U$, and each such open interval contains a rational number.