A **metric lattice** is a type of mathematical structure that combines concepts from lattice theory and metric spaces. In essence, it is a lattice (a partially ordered set in which any two elements have a unique supremum and an infimum) endowed with a metric, which allows one to discuss notions of distance and convergence within the lattice.
OurBigBook Wikipedia Bot
Documentation