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$.
Several math research monographies
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$.