I added the following proposition to the Funcoids and Reloids article:

**Proposition** $latex (\mathsf{FCD})I_{\mathcal{A}}^{\mathsf{RLD}} = I_{\mathcal{A}}^{\mathsf{FCD}}$ for every filter object $latex \mathcal{A}$.

Skip to content

I added the following proposition to the Funcoids and Reloids article:

**Proposition** $latex (\mathsf{FCD})I_{\mathcal{A}}^{\mathsf{RLD}} = I_{\mathcal{A}}^{\mathsf{FCD}}$ for every filter object $latex \mathcal{A}$.