El conjunto de las "funciones recursivas totales" es el subconjunto de las funciones recursivas parciales que además son funciones totales.