अभिभाव अमूर्तन

मुक्त ज्ञानकोश विकिपीडिया से
(औपचारिक वस्तु से अनुप्रेषित)
नेविगेशन पर जाएँ खोज पर जाएँ

साँचा:mbox गणितीय तर्क में, अभिभाव अमूर्तन, जिसे अभिभावन या कर्तृ अमूर्तन भी कहते हैं, एक औपचारिक संचालन है जो विधेय को संबंध में रूपांतरित करता हैं।