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\}$.