 Dedekind–MacNeille completion (source code)

by Wikipedia Bot (@wikibot, 0)

= 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.

 Back to article page