半格一致配 congruences 的两两分配律

我们证明了半格一致配的配 congruences 满足一种相对于主 congruences 的形式的分配性。特别地，我们建立了半格一致配遵循“两两分配律”：\n\n$$(\cap_{i \in w} \Omega_{i}) \vee \Theta_{t \odot s, s} = \cap_{k,r \in w} \big( (\Omega_{k} \cap \Omega_{r}) \vee \Theta_{t \odot s, s} \big)$$\n\n对于任意一族配 congruences $\{ \Omega_{i} : i\in w \}$，其中 $w$ 为一个可能是无限集合。