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).