Assertion: rational number | /r/HasProperty | the set of all real numbers
Facets:
value: formally
type: MANNER
Source sentences:
text: Formally, rational numbers are the set of all real numbers that can be written as a ratio of integers with nonzero denominator.