इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें M \\ to N एक चिकनी मानचित्र हो।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "M \\ to N एक चिकनी मानचित्र हो, इसे विसर्जन कहा जाता है यदि '' f'का व्युत्पन्न हर जगह इंजेक्टिव है। "