Congruences of concept algebras
... Before we come to the proof let us rephrase this result. The theorem states that if a subcontext (H, N ) induces a 4 -compatible congruence, then from m ∈ M and n ∈ N such that all elements of m00 ∩ N are orthogonal to n, it follows that m and n automatically cover G. Moreover, the condition (∗) is ...
... Before we come to the proof let us rephrase this result. The theorem states that if a subcontext (H, N ) induces a 4 -compatible congruence, then from m ∈ M and n ∈ N such that all elements of m00 ∩ N are orthogonal to n, it follows that m and n automatically cover G. Moreover, the condition (∗) is ...