MacNeille completion theorem

Redirect to:

• Dedekind–MacNeille completion