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!