Outward reloid of composition vs composition of outward reloids

Problem's Description

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.$$

1. BookIs an originAlgebraic General Topology. Volume 1

   • Victor Porton

   year of publication: 2018fulltext