Which self-maps appear as lattice anti-endomorphisms? (Q2630278)

A mapping \(f:A\to A\) is said to be an anti-endomorphism of a lattice \((A,\vee,\wedge)\) if \(f(x\vee y)=f(x)\wedge f(y)\). The theorem answering the question above is as follows: For a map \(f:A\to A\), there exists a lattice \((A,\vee,\wedge)\) such that \(f\) is an anti-endomorphism of \((A,\vee,\wedge)\) if and only if \(f\) has a cycle of length 2 or \(f\) has no proper cycles and has at most one fixed point. Further the authors deal with extensions of a partial order and they prove that if \(f:A\to A\) is such that \(f^2\) has no proper cycles and has at most one fixed point, then there exists a distributive lattice \((A,\vee,\wedge)\) such that \(f\) is an anti-endomorphism of \((A,\vee,\wedge)\).