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