El conjunto de funciones totalmente computables con un parámetro normalmente se escribe