Tomada literalmente, la definición anterior es una aplicación del teorema de recursión en el conjunto parcialmente ordenado N2.