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

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