On the lattice of weak fuzzy congruence relations on algebras


Gradimir Vojvodić, Branimir Šešelja




We consider the set $\overline{C_w(A)}$ of weak $L$-fuzzy congruence relations on analgebra $A=(A,F)$ ($L$ is a complete lattice), defined for groupolds in [2] . We prove that $\overline{(C_w(A)},\leqslant)$ is a complete lattice, having as a sublattice $\overline{(C(A)},\leqslant)$, where $\overline{C(A)}$ is a set of fuzzy congruence relations on $A$ [1]. Moreover, the lattice $\overline{(S(A)},\leqslant)$ $\overline{(S(A)}$ is the set of fuzzy subalgebras on $A$) is a homomorphic image of $\overline{(C_w(A)},\leqslant)$.