Assertion: function | /r/CapableOf | satisfy following conditions
Facets:
Source sentences:
text: Relaxing the last three axioms leads to the notion of a premetric, i.e. a function satisfying the following conditions: