输入：区间值决策系统 $IVDS=\left(U,AT,V,f\right)$ ，阈值 $\alpha$ 。

输出：区间值决策系统的正域保持全部属性约简RED。

1.计算IVDS下在阈值 $\alpha$ 下的相容类 $T{C}_C^{\alpha }\left(U\right)$ ；

2.根据每个对象对应的相容类，计算正域 $PO{S}_C^{\alpha }\left(D\right)$ ；

3.根据每个对象的正域构造正域约简差别矩阵 $M^{\alpha }$ ；

4.根据计算得到的差别矩阵 $M^{\alpha }$ 计算差别函数 $D{F}^{\alpha }$ ；

5.利用分配率和吸收率计算出所有的正域保持约简RED；

6.返回约简集合RED。