A judgment theorem and a discernibility matrix associated with the attribute reduction are presented.

• 然后给出了属性约简的判定定理和辨识矩阵并详细地研究了属性约简的基本性质。