शाब्दिक रूप से लिखल गेल, उपरोक्त परिभाषा आंशिक रूप से ऑर्डर कैल गेल सेट एन2 पर रिकर्सन प्रमेय के एगो अनुप्रयोग छलो।