# A conjecture about outward funcoids

I’ve added to my book the following conjecture:

Conjecture For every composable funcoids $f$ and $g$

$(\mathsf{RLD})_{\mathrm{out}}(g\circ f)\sqsupseteq (\mathsf{RLD})_{\mathrm{out}}g\circ(\mathsf{RLD})_{\mathrm{out}} f.$