Conjecture about funcoids proved

I’ve proved this my conjecture:

g \circ f = \bigsqcap \left\{ G \circ F \,|\, F \in \mathrm{up}\, f, G \in \mathrm{up}\, g \right\} for every composable funcoids f and g.

See my book (in the current draft the theorem 6.65) for a proof.

Leave a Reply