Complemented quasiorder lattices of monounary algebras
A quasiorder of an algebra \(A\) is a reflexive and transitive binary relation on \(A\) compatible with all operations of \(A\). The set of quasiorders of any algebra is a lattice with respect to inclusion. The authors characterize monounary algebras whose lattices of quasiorders are complemented.
scientific article; zbMATH DE number 5939544