Semicomputable function

• abstract: In computability theory, a semicomputable function is a partial function f : \mathbb{Q} \rightarrow \mathbb{R} that can be approximated either from above or from below by a computable function.

以上来源于: WordNet