On the largest common fixed point of a commuting family of isotone maps (Q934461)

Let \((X,\leq)\) be a complete partially ordered set which has a largest element and \({\mathcal F}\) be a commutative family of isotone selfmaps of \(X\). It is shown that then \({\mathcal F}\) has a largest common fixed point. In particular, when \({\mathcal F}\) is a singleton, one gets the related statement in [\textit{E.\,A.\thinspace Ok}, Nonlinear Anal., Theory Methods Appl.\ 56, No.\,3 (A), 309--330 (2004; Zbl 1068.47065)].