# Definition:Sufficiently Small

Jump to navigation
Jump to search

## Definition

Let $P$ be a property of real numbers.

Then:

**$P \left({x}\right)$ holds for all sufficiently small $x$**

- $\exists \epsilon \in \R: \forall x \in \R: \left\lvert{x}\right\rvert \le \epsilon: P \left({x}\right)$

That is, if and only if:

*There exists a real number $\epsilon$ such that for every (real) number not more than $\epsilon$ in in absolute value, the property $P$ holds.*

It is not necessarily the case, for a given property $P$ about which such a statement is made, that the value of $\epsilon$ actually needs to be known, merely that such a value can be demonstrated to exist.