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

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

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