सचमुच लिया गइस   , उपरोक्त परिभाषा आंशिक रूप ले  आदेशित सेट एन 2 म रिकर्सन प्रमेय के एक आवेदन हवय।