Isomorphism of filters expressed through reloids

In the new updated version of the article “Funcoids and Reloids” I proved the following theorem:

Theorem Filter objects \mathcal{A} and \mathcal{B} are isomorphic iff exists a monovalued injective reloid f such that \mathrm{dom}f = \mathcal{A} and \mathrm{im}f = \mathcal{B}.

Leave a Reply