交集，则：其中如果formula_39，则称formula_6为除子理想。如果formula_6是除子理想，且formula_19是非零素理想， 则formula_43 也是除子理想。一个整环称为Mori 整环， 如果其全体除子理想的集合满足升链条件。