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}$.

Leave a Reply

Your email address will not be published. Required fields are marked *