GMV-algebras, Lateral Completions, projectable completion, residuated lattices, strongly projectable completion.
