Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices | Publicación