Metric lattice (original) (raw)

In the mathematical study of order, a metric lattice L is a lattice that admits a positive valuation: a function v∈L→ℝ satisfying, for any a,b∈L, and