इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें यदि वे आनुपातिक हैं (यानी वे \\ mathfrak में एक निश्चित तत्व द्वारा भिन्न होते हैं) तो दो मूल्यांकनों को समतुल्य कहा जाता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "दो मूल्यांकनों को समकक्ष कहा जाता है यदि वे आनुपातिक हैं (यानी वे \\ mathfrak में एक निश्चित तत्व से भिन्न होते हैं): एक क्षेत्र \\ mathbb पर मूल्यांकन के प्रत्येक समकक्षता वर्ग को एक स्थान कहा जाता है। "