New conjecture about funcoids

Conjecture \langle f \rangle \bigsqcup S = \bigsqcup_{\mathcal{X} \in S} \langle f \rangle \mathcal{X} if S is a totally ordered (generalize for a filter base) set of filters (or at least set of sets).

One comment

Leave a Reply