Two new theorems

I’ve proved the theorem: Theorem $latex f \mapsto \bigsqcap^{\mathsf{RLD}} f$ and $latex \mathcal{A} \mapsto \Gamma (A ; B) \cap \mathcal{A}$ are mutually inverse bijections between $latex \mathfrak{F} (\Gamma (A ; B))$ and funcoidal reloids. These bijections preserve composition. (The second items is…

Yahoo! I’ve proved this conjecture

Theorem $latex (\mathsf{RLD})_{\mathrm{in}} (g \circ f) = (\mathsf{RLD})_{\mathrm{in}} g \circ (\mathsf{RLD})_{\mathrm{in}} f$ for every composable funcoids $latex f$ and $latex g$. See proof in this online article.

Restricting a reloid to Gamma before converting it into a funcoid formula

I have just proved this my conjecture. The proof is presented in this online article. Theorem $latex (\mathsf{FCD}) f = \bigsqcap^{\mathsf{FCD}} (\Gamma (A ; B) \cap \mathrm{GR}\, f)$ for every reloid $latex f \in \mathsf{RLD} (A ; B)$.