Assertion: euclidean space's property | /r/CapableOf | call axiom
Facets:
Source sentences:
text: This subtraction has the two following properties, called Weyl's axioms: