I’ve added to my book the following conjecture:

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

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

Skip to content

I’ve added to my book the following conjecture:

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

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