Join of transitive reloids (a conjecture in uniformity theory)

Conjecture Join of a set S on the lattice of transitive reloids is the join (on the lattice of reloids) of all compositions of finite sequences of elements of S.

It was expired by theorem 2.2 in “Hans Weber. On lattices of uniformities”.

There is a similar conjecture for funcoids (instead of reloids).

The terminology used is from my free ebook.

Leave a Reply