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