最大 C-克隆在最大克隆中的唯一包含关系

$\mathit{C}$-克隆是所谓子句关系（clausal relations）的多态集，这是一类在有限域上的特殊关系，首次出现于与约束满足问题相关的研究中 [Creignou et al. 2008]。我们完全描述了最大 $\mathit{C}$-克隆与最大克隆之间关于集合包含的关系。作为一个主要结果，我们得出对于每一个最大 $\mathit{C}$-克隆，恰好存在一个包含它的最大克隆。我们给出了这个唯一最大克隆的精确描述，以及相应的 $\mathit{C}$-克隆完备性判据。