इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें 'H' '1' Q के संबंध में dom 'T' का समापन हो. ' एच' 1 एक अमूर्त रूप से परिभाषित स्थान है; उदाहरण के लिए इसके तत्वों को समकक्षता वर्गों के रूप में प्रस्तुत किया जा सकता है डोम 'टी' के तत्वों के कोची अनुक्रम।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "Let '' H '' 1 be the completion of dom '' T'with respect to Q. ' एच' 1 एक अमूर्त रूप से परिभाषित स्थान है और यह स्पष्ट नहीं है कि एच' 1 के तत्वों को एच' के तत्वों के रूप में दर्शाया जा सकता है.