Assertion: real number | /r/HasProperty | any element of the set r
Facets:
Source sentences:
text: A real number is any element of the set R, which is the union of the set of rational numbers and the set of irrational numbers.