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