The following is a new conjecture:

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

One Response

Leave a Reply

Your email address will not be published. Required fields are marked *