**Conjecture** Join of a set $latex S$ on the lattice of transitive reloids is the join (on the lattice of reloids) of all compositions of finite sequences of elements of $latex 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.