
Given a (partially) ordered set P with the descending chain condition, and an ordered set Q, the set Q P {Q^P} of functions from P to Q has a natural lexicographic order, given by f ⩽ g f \leqslant g if and only if f ( y ) > g ( y ) f(y) > g(y) for all minimal elements of the set { x ; f ( x ) ≠ g ( x ) } \{ x;f(x) \ne g(x)\} where the functions differ. We show that if Q is a complete lattice, so also is the set Q P {Q^P} , in the lexicographic order. The same holds for the set Hom ( P , Q ) {\operatorname {Hom}}(P,Q) of order-preserving functions, and for the set Op ( P ) {\text {Op}}(P) of increasing order-preserving functions on the set P. However, the set Cl ( P ) {\text {Cl}}(P) of closure operators on P is not necessarily a lattice even if P is a complete lattice.
Partial orders, general, Ordered Set, Chain conditions, complete algebras, Increasing Order-Preserving Functions, Order-Preserving Functions, Complete lattices, completions, Galois correspondences, closure operators (in relation to ordered sets), Natural Lexicographic Order, with the Descending Chain Condition
Partial orders, general, Ordered Set, Chain conditions, complete algebras, Increasing Order-Preserving Functions, Order-Preserving Functions, Complete lattices, completions, Galois correspondences, closure operators (in relation to ordered sets), Natural Lexicographic Order, with the Descending Chain Condition
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
