Matrix redefinition of rough sets on double universes

• 双论域上粗糙集的矩阵定义