metric lattice

lattice that admits a positive valuation

Categories: