Dedekind–MacNeille completion

ID: 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.

New to topics? Read the docs here!