在此引入了数加模糊集和模糊关系外合成运算两个概念,讨论了它们的性质,给出了模糊下近似算子的一个简洁的公理组,并利用模糊矩阵这一工具直接证明了其可靠性和独立性。
The brief axiom group of fuzzy lower approximation operator is deduced by introducing two new concepts and discussing their properties, which are number added fuzzy sets and outside composition operations. Moreover, its credibility and independence are proved by taking advantage of fuzzy matrix tools.