Source: wikibot/dedekind-macneille-completion

= Dedekind–MacNeille completion
{wiki=Dedekind–MacNeille_completion}

The Dedekind–MacNeille completion is a construction in order theory that provides a way of creating a complete lattice from a partially ordered set (poset). Specifically, it allows you to take any poset and extend it to a complete lattice by adding the least upper bounds and greatest lower bounds that were missing.