论文部分内容阅读
本文在论域任一关系中,通过邻域定义了一个集族,证明其满足拟阵的独立集公理,建立了邻域拟阵。为了进一步了解邻域拟阵,研究了其极小圈、秩函数和闭包算子。同时,给出了从拟阵诱导关系的一种形式,研究了关系的上近似算子和由其诱导的拟阵闭包算子之间的关系。更进一步的研究了从关系到拟阵再到新关系与原关系之间的关联,尤其是,原关系通过邻域可以等价表示新关系。