Definition:Sequentially Computable Real Function

Definition
Let $f : \R \to \R$ be a real function.

Suppose that, for every computable real sequence $\sequence {x_n}$:
 * The real sequence $\sequence {\map f {x_n} }$ is also computable.

Then $f$ is a sequentially computable real function.