Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be a set. Write $M(X)$ for the set of all functions $d:X\times X\to [0,\infty]$ that endow $X$ with the structure of a generalized metric space (i.e., $d(x,x)=0 $ and the triangle inequality). Let $M_S(X)$ be the set of all functions $d:X\times X\to X$ that endow $X$ with the structure of a metric space (e.g., $d(x,y)=d(y,x)$ also holds).

Define an order on each of these sets by declaring $d\le e$ precisely if the identity $(X,d)\to (X,e)$ is a non-expanding function. It is very easy to see that with this ordering each of $M(X)$ and $M_S(X)$ is a complete lattice and that $M_S(X)$ is a sub complete meet semilattice of $M(X)$.

Do these lattices have a common name? Are their basic properties known? Ideally, is there a lattice theoretic characterization on a lattice $L$ that is equivalent to $L$ being isomorphic to a sublattice of one of those?

share|cite|improve this question
This is a good question. – goblin Jun 7 '13 at 8:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.