The value of node "other"

It seems that the node "other" is not $\lambda f\in\mathsf{FCD}: \top$.

I conjecture $\langle \Phi_{\ast} (\mathsf{RLD})_{\operatorname{out}} \rangle f = (\mathsf{FCD}) f$ where $f$ is the reloid defined by the cofinite filter on $A \times B$ and thus $\langle (\mathsf{FCD}) f \rangle \{ x \} = \bot$ for all singletons $\{ x \}$ and $\langle (\mathsf{FCD}) f \rangle p = \top$ for every nontrivial atomic filter $p$.

This is my very recent thoughts and yet needs to be checked.

-- Victor Porton -


Comments are limited to a maximum of 1000 characters.