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.