万有范指数不等式(universal norm index in-equation )亦称(或相当于)第二不等式.类域论的重要不等式.若K/k为n次伽罗瓦扩张，m是数域k的一个模，含所有分歧素除子因子，则

即范指数不超过扩张次数，式中一}V ( m)表示与m互素的K的所有理棋到k的范.