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