Complete Lattice: Dedekind cut:
Partially ordered sets
Main article: Dedekind–MacNeille completion
More generally, if S is a partially ordered set, a completion of S means a complete lattice L with an order-embedding of S into L. The notion of complete lattice generalizes the least-upper-bound property of the reals.
One completion of S is the set of its downwardly closed subsets, ordered by inclusion. A related completion that preserves all existing sups and infs of S is obtained by the following construction: For each subset A of S, let Au denote the set of upper bounds of A, and let Al denote the set of lower bounds of A. (These operators form a Galois connection.) Then the Dedekind–MacNeille completion of S consists of all subsets A for which (Au)l = A; it is ordered by inclusion. The Dedekind-MacNeille completion is the smallest complete lattice with S embedded in it.