Assertion: absolute value | /r/HasProperty | modulus
Facets:
Source sentences:
text: A real-valued function v on a field F is called an absolute value (also a modulus, magnitude, value, or valuation) if it satisfies the following four axioms: