इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें मानचित्रण x \\ mapsto (x ) -- \\ sim एक अर्धसमूह समरूपता है, जिसे अंश मानचित्रण, कैनोनिकल सर्जेक्शन या प्रक्षेपण कहा जाता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "मैपिंग x \\ mapsto (x ) -- \\ sim एक अर्धसमूह समरूपता है, जिसे भागफल मानचित्र, कैनोनिकल सर्जेक्शन या प्रक्षेपण कहा जाता है; यदि S एक मोनोइड है तो भागफल अर्धसमूह पहचान (१ ) के साथ एक मोनोइड है - \\ sim "