एक फलन जिसे हम अपने प्रांत के प्रत्येक अवयव को उसके सहप्रान्त में एक अद्वितीय अवयव के लिए प्रतिचित्रित करते हैं और वह संपूर्ण सहप्रान्त को पूरा करता है, उसे किस प्रकार निरूपित करता है?