English Dedekind–MacNeille completion Cited by user PatrickR2 on 14 Apr 2023 In mathematics, specifically order theory, the Dedekind–MacNeille completion of a partially ordered set is the smallest complete lattice that contains it.