.Ii + Ij = R
In term of congruence, it means \(I_i \vee I_j = R\), which make decomposition map for algebra with permutable congruence surjective
.Ii + Ij = R
In term of congruence, it means \(I_i \vee I_j = R\), which make decomposition map for algebra with permutable congruence surjective
,
Together, each \(x \in \theta_0\) and each \(y \in \theta_1\) intersect, making the map surjective.