关于模糊粗糙集的格

借助下模糊近似与上模糊近似，我们定义了拟序关系。利用其性质证明了主要结果。首先，针对某些 t-范数与蕴涵算子，刻画了那些关于 $U$ 上的 t-相似关系 $\theta$ 构成模糊粗糙集的模糊集对。随后我们给出了模糊粗糙集构成格的条件。我们证明：对于 $\min$ t-范数以及由带对合否定的 $\max$ 余范数定义的任意 S-蕴涵算子，只要 $U$ 有限或 $\theta$ 与模糊集的值域为一固定有限链，模糊粗糙集便构成一个完备格。