Complete lattice

Dedekind-MacNeille completion

The Dedekind-MacNeille completion of a partially ordered set is the smallest complete lattice which contains it. order

Examples

• The completion of and thus is the Extended real line.

---

stub | en | sembr