相容关系

摘要

相容关系与等价关系一样，是一类应用相当广泛的关系，也是一种十分重要的二元关系。集合上相容关系一一对应于完全覆盖，而等价关系一一对应于划分。该文基于对有限集合上的定理做了一定的推广，使之适应于无限集合且对最大相容类作了一些探讨，还把集合上的覆盖按相容关系分成不同的覆盖类，并对其作了一定的讨论。文中关于最大相容类的求法既易于具体编程，且通过关系矩阵来详细描述。