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

मुक्त ज्ञानकोश विकिपीडिया से

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