Lattice of fuzzy subalgebras and closure systems in \(I^ X\) (Q807657)

For a given universal algebra \(A=[X,F]\) with a specified set F of finitary operations on the set X, each operation is extended to a finitary operation on the lattice \(I^ X\) of fuzzy subsets of X over the unit interval of real numbers \(I=[0,1]\). It is shown that the lattice of fuzzy subalgebras of A is an algebraic closure system in \(I^ X\) according to an appropriate definition.