Open
Posted online: 2019-12-24 17:41:49Z by Victor Lvovich Porton
Cite as: P-191224.1
This is a previous version of the post. You can go to the current version.
As described in my book Algebraic General Topology. Book 1, to every relation $f$ it corresponds a multifuncoid (to a function it corresponds a staroid and to the staroid it corresponds a multifuncoid).
Let $\mathcal{X}$ be an indexed family of filters on sets. Which of the below items are always pairwise equal?
1. The above-mentioned multifuncoid applied to $\mathcal{X}$
2. The funcoid corresponding to this function (considered as a single argument function on indexed families) applied to the reloidal product of filters $\mathcal{X}$.
3. The funcoid corresponding to this function (considered as a single argument function on indexed families) applied to the starred reloidal product of filters $\mathcal{X}$.
4. $\bigcap_{F\in\operatorname{up}^{\mathsf{FCD}}f}\langle f \rangle F$. \end{problem}
No solutions added yet