Assertion: function's number | /r/HasProperty | a such
Facets:
Source sentences:
text: The number e can then be defined to be the unique real number a such that ln a = 1.
text: if the following condition is satisfied: For every positive real number ε > 0, there is a positive real number δ > 0 such that