Assertion: real function | /r/HasProperty | bounded
Facets:
value: locally
type: LOCATION
Source sentences:
text: The Conway base-13 function is therefore discontinuous everywhere: a real function that is continuous at x must be locally bounded at x, i.e. it must be bounded on some interval around x.