Assertion: real number's value | /r/HasProperty | defined for example
Facets:
Source sentences:
text: For example, an absolute value is also defined for the complex numbers, the quaternions, ordered rings, fields and vector spaces.