相容关系

相容关系是离散数学中二元关系的一种。

设A是集合，R⊆A×A。若R是自反的和对称的，则称R是A上的相容关系；若aRb,则称x与y相容，否则称x与y不相容。具体内容参考：左孝凌离散数学，石纯一数理逻辑与集合论，对“相容关系与覆盖”的再认识。注意，左孝凌和再认识一文对完全覆盖的定义是不同的，左文定义的完全覆盖和相容关系是一一对应的，而再认识一文定义的完全覆盖和相容关系不是一一对应的。