Assertion: real number's property | /r/HasProperty | lost
Facets:
value: by applying the construction
type: MANNER
Source sentences:
text: Just as by applying the construction to reals the property of ordering is lost, properties familiar from real and complex numbers vanish with each extension.