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