Assertion: real number's value | /r/HasProperty | archimedean
Facets:
Source sentences:
text: An absolute value which satisfies any (hence all) of the above conditions is said to be non-Archimedean, otherwise it is said to be Archimedean.