提出划分矩阵和布尔列向量取小乘法的概念；证明了下矩阵和上矩阵的行并向量分别是下近似和上近似；研究了上下近似的性质；给出了计算上下近似的算法。