La notion de possibilité de calcul d'une fonction peut être relativisée en un ensemble arbitraire de nombres naturels A / O. Une fonction f est définie pour pouvoir être calculée dans A -LRB- de façon équivalente A-computable ou computable par rapport à A -RRB- lorsqu'elle satisfait à la définition d'une fonction calculable avec des modifications permettant l'accès à A comme oracle.
Une fonction calculable est une notion de l'informatique.