General existence conditions for maximal elements of ordered sets

It is proved that Arkhangelski principle of existence of top-ascending well-ordered chain is equivalent to the statement of Gajek–Zagrodny lemma. Both the criterium of nonemptyness and the criterium of cofinality for the subset of maximal elements of an ordered set are derived on the base of Arkhangelski principle.