e.) a un conjunto, dentro de la teoría de la computabilidad, si existe una función computable "g"("x") que esté definida únicamente para aquellos números naturales que pertenecen a "B":