Isotone relations and the fixed point property for posets (Q798340)

For posets S,U let \(H:=Hom(S,U)\) denote the set of all isotone mappings f,g,.. of S into U ordered componentwise; f,g are said to be order- homotopic if f,g belong to the same component of the ordered set H. A relation from S to U is defined as any function f from S into the power set PU of U. Let Rel(S,U) denote the set of all relations from S to U. Let \(\bar U\) be the set PU preordered by the procedure \(A\leq B\) to mean \(A\subset ideal B\) and \(B\subset filter A\); a relation f from S to U is called isotone if the induced function f:\(S\to\bar U\) is isotone. S is said to have the relational fixed point property (relational FPP) if every nonempty isotone relation from S to U has a fixed point, i.e. \(x\in fx\) for some \(x\in S\). Theorem 5.7 (Main result): A finite ordered set has relational FPP if and only if it is dismantlable (S is dismantlable if it is both well-ordered complete and order homotopy equivalent to a point). Theorem 7.4: If S has relational FPP, U has FPP, and S,U are well-ordered complete, then \(S\times U\) has FPP. The question whether the FPP of S,U implies the FPP of \(S\times U\) remains open.