On a strong property of the weak subalgebra lattice (Q1966167)

Let \(A\) be a total and locally finite unary algebra of a finite type and \(B\) be a unary partial algebra of the same type. It is proved that if the weak subalgebra lattices of \(A\) and \(B\) are isomorphic, then the strong subalgebra lattices of \(A\) and \(B\) are also isomorphic and, moreover, \(B\) is also total and locally finite.