Assertion: variable's number | /r/HasProperty | a such
Facets:
Source sentences:
text: For example, it can be defined as the unique positive number a such that the graph of the function y = ax has unit slope at x = 0.
text: if the following condition is satisfied: For every positive real number ε > 0, there is a positive real number δ > 0 such that