📚 Recommended Mathematics Books

Topology (Munkres)  |  General Topology (Engelking)  |  Counterexamples in Topology  |  Rudin's Analysis

As an Amazon associate, I earn from qualifying purchases.

I have recently proved that there is an order isomorphism between funcoids and filters on the lattice of finite unions of Cartesian products of sets.

Today I’ve proved that this bijection preserves composition.

See this note (updated) for the proofs.