Explicit formulas for meets and joins of uniform spaces

36 Views Asked by At

I want explicit formulas for meets and joins (and finite meets and joins) for sets of uniform spaces (where uniformities are ordered by inclusion).

And also for proximity spaces.

I am also interested in a proof that uniform and proximity spaces on a set form complete lattices (or at least lattices or meet/join semilattices).