Source: wikibot/dedekind-macneille-completion

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