![](/files/happy5.png)
Composition of reloids expressed through atomic reloids (Solved)
Conjecture If
and
are composable reloids, then
![$ f $](/files/tex/43374150a8a220f67049937b9790b7d28eb17fb9.png)
![$ g $](/files/tex/4239ee4145983e1d8ad375f0606cc7140bce36a3.png)
![$$g \circ f = \bigcup \{G \circ F | F \in \mathrm{atoms}\, f, G \in \mathrm{atoms}\, g \}.$$](/files/tex/f621df0db7ef2ef6d3fe1b5c523902f8b37e8217.png)
See Algebraic General Topology for definitions of used concepts.
In the same book there is a proof.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.