元定理

关于定理的陈述。它通常给出从旧定理中获得新定理的准则，要么根据规则（对偶原理）改变其对象，要么将其转移到另一个领域（从范畴理论到群论），要么转移到同一领域内的另一个上下文（从线性变换到矩阵）。