Conjecture: Composition of reloids through atomic reloids

The following is a new conjecture:

If f and g are reloids, then
g \circ f = \bigcup{}^{\mathsf{RLD}} \{G \circ F | F \in \mathrm{atoms}^{\mathsf{RLD}} f, G \in \mathrm{atoms}^{\mathsf{RLD}} g \}.

One comment

Leave a Reply