परिभाषित वर्गों पर एक उचित पदानुक्रम
उन्हें पदानुक्रम प्रमेय कहा जाता है क्योंकि वे संबंधित संसाधनों को सीमित करके परिभाषित वर्गों पर एक उचित पदानुक्रम को प्रेरित करते हैं।
क्या उत्पन्न करने के लिए संसाधन पदानुक्रम प्रमेयों द्वारा बाध्य हैं?