本文证明了所有循环相关的相容组和它的任何一个循环相关的蕴涵相容组具有相同的封闭相关类。同时，提出了一个更重要的封闭类，即所有一级蕴涵相容组构成的封闭类。

In this paper the author has proved that all the cyclically dependent compatible sets and any one of the cyclically dependent implicative compatible sets have the same closed dependent class.

youdao