शाब्दिक रूप से लेला प, उपरोक्त परिभाषा आंशिक रूप से क्रमित सेट N2 प पुनरावर्तन प्रमेय के एगो अनुप्रयोग बा.