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