इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें प्रथम प्रकार का कथन अलग-अलग शब्दों में कहता है कि'' P'का विस्तार एक सिंगलटन सेट है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "प्रथम प्रकार का कथन अलग-अलग शब्दों में कहता है कि '' P'का विस्तार एक सिंगलटन सेट है. tmoodyeक्विएलेंस वर्ग (आइसोमॉर्फिज्म के लिए, दिए गए उदाहरण में - '' तक 'का उपयोग कैसे किया जा रहा है, इस पर निर्भर करता है, कुछ अन्य समकक्षता संबंध शामिल हो सकते हैं) । "