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

输出：S的所有下近似约简。

1.在条件属性集M下，计算每个样本的条件优势类 ${\left[x\right]}_M^{\ge }$ 。

2.对 $O/R_N^{\ge }$ 的每一个 $N_i$ 计算下近似 $\underset{\_}{R_M^{\ge }}\left(N_i\right)$ 。

3.构造差别矩阵。

4.根据差别矩阵得到差别函数。

5.使用分配律和吸收律对差别函数进行范式转换，将其变为极小析取式。

6.输出极小析取式中的合取项，每一个合取项就是一个下近似约简。