I added to Funcoids and Reloids article the following two new propositions and a conjecture: Proposition $latex (\mathsf{FCD}) (f\cap^{\mathsf{RLD}} ( \mathcal{A}\times^{\mathsf{RLD}} \mathcal{B})) = (\mathsf{FCD}) f \cap^{\mathsf{FCD}} (\mathcal{A}\times^{\mathsf{FCD}} \mathcal{B})$ for every reloid $latex f$ and filter objects $latex \mathcal{A}$ and $latex \mathcal{B}$. Proposition…

read more

In the new updated version of the article “Funcoids and Reloids” I proved the following theorem: Theorem Filter objects $latex \mathcal{A}$ and $latex \mathcal{B}$ are isomorphic iff exists a monovalued injective reloid $latex f$ such that $latex \mathrm{dom}f = \mathcal{A}$ and $latex…

read more