约简是粗糙集理论中的一个核心问题，常用的约简方法有分辨矩阵和启发式算法两种。为了求得决策系统中的下、上近似和边界域分布约简，以构建在条件属性集合幂集上的等价关系为同余关系，利用同余关系依赖空间，提出了求得下、上近似和边界域分布约简的新方法，并给出了与这些约简对应的判定定理，通过实例进行了验证，为从决策系统中删除冗余属性提供了新的理论基础与技术手段。