Assertion: function's codomain | /r/HasProperty | the field of real numbers
Facets:
Source sentences:
text: A real function is a real-valued function of a real variable, that is, a function whose codomain is the field of real numbers and whose domain is a set of real numbers that contains an interval.