输入：序决策系统 $S=\left(O,A=M\cup N\right)$ 。

输出：S的下近似约简B。

1.在条件属性集M下，对 $O/R_N^{\ge }$ 的每一个 $N_i$ 计算下近似 $\underset{\_}{R_M^{\ge }}\left(N_i\right)$ 。

2.计算 ${\gamma }_M^{\ge }$ 。

3.令 $B\leftarrow M$ 。

4.对M中的每个条件属性a，重复：

计算 ${\gamma }_{B-\left\{a\right\}}^{\ge }$ ；

若 ${\gamma }_{B-\left\{a\right\}}^{\ge }={\gamma }_B^{\ge }$ ，那么 $B=B-\left\{a\right\}$ 。

5.输出B。