阶理想是模的算子环的一个单侧理想。设 R 是一个环，当R是交换环时，ann(x)是R的理想，称为x的阶理想（order ideal）。