Dedekind-MacNeille completion
The Dedekind-MacNeille completion of a partially ordered set is the smallest complete lattice which contains it. #m/def/order
Examples
- The completion of
and thus is the Extended real line.
#state/stub | #lang/en | #SemBr