From a new version of preprint of my book:

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

Leave a Reply

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