atomic reloids

Composition of reloids expressed through atomic reloids ★★

Author(s): Porton

Conjecture If $f$ and $g$ are composable reloids, then $g \circ f = \bigcup \{G \circ F | F \in \mathrm{atoms}\, f, G \in \mathrm{atoms}\, g \}.$

Posted by porton
updated October 26th, 2010