Assertion: positive real number | /r/HasProperty | such that
Facets:
Source sentences:
text: if the following condition is satisfied: For every positive real number ε > 0, there is a positive real number δ > 0 such that