I’ve proved the conjecture about composition of reloids through atomic reloids

From a new version of preprint of my book:

Corollary 7.18
If f and g are composable reloids, then
g \circ f = \bigsqcup \left\{ G \circ F \, | \, F \in      \mathrm{atoms}\, f, G \in \mathrm{atoms}\, g \right\}.

Leave a Reply