Added a new proposition

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

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

Leave a Reply