Harfiahnya, defini di atas adalah penerapan teorama rekursi pada himpuanan nang urut sebagian N2.