مأخوذ حرفيًا، التعريف اللي فوق هو تطبيق لنظرية العودية على مجموعة N2 المترتبة جزئيًا.