The lattice of compatible quasiorders of acyclic monounary algebras (Q651427)

Let \(\mathcal A=(A,f)\) be a rooted monounary algebra, i.e., a monounary algebra such that for any \(x,y\in A\) there exists a non-negative integer \(n\) with \(f^n(x)=f^n(y)\). The intersection of all compatible linear extensions of a fixed compatible quasiorder on \(\mathcal A\) is characterized and in the case of finite \(A\) the structure of the lattice of compatible quasiorders on \(\mathcal A\) and of Con\(\mathcal A\) is described.