I have added a new easy (but unnoticed before) theorem to my book:

Proposition $latex (\mathsf{RLD})_{\mathrm{out}} f\sqcup (\mathsf{RLD})_{\mathrm{out}} g = (\mathsf{RLD})_{\mathrm{out}}(f\sqcup g)$ for funcoids $latex f$, $latex g$.

Leave a Reply

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