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 and are isomorphic iff exists a monovalued injective reloid such that and .