典范类不等式的定义如下：对于一个亏格为g且半稳定的纤维化f: X → C，其中底曲线的亏格为b，奇异纤维的数量为s，则有相对典范层ω_{X/C}与其自身相交所得的自交数ω_{X/C}·ω_{X/C}不超过(2g-2)(2b-2+s)。当f不是半稳定纤维化时，不等式变为ω_{X/C}·ω_{X/C} ≤ (2g-2)(2b-2+3s)。在高维情境下，也有相应的不等式成立。
典范类不等式在
代数几何理论，尤其是代数曲面理论中具有重要意义。它是曲线模空间中一类除子的
测度性估计的重要工具。在曲面情况下，典范类不等式等价于宫冈-丘不等式，并被视为左康-Viehweg推广Arakelov不等式的极限情况。在数论领域，如算术代数几何中，它等同于特定类型的高度不等式。通过结合典范类不等式和
肖刚不等式，还可以推导出原始的Arakelov不等式。
典范类不等式不仅在高维情境中有类似推广，而且在特征p的
代数曲面上，Szpiro也提出了相似的不等式。这些不等式可用于给出一些数值量的上界估计，例如纤维化f的临界点数量。同时，它们还可转化为空间中的高度不等式，从而在不定
方程的求解等问题中发挥作用。