Assertion: real number's property | /r/HasProperty | obvious
Facets:
Source sentences:
text: Although this property seems obvious, some collections are not closed under certain operations.