Join of two connected (regarding a funcoid) filters, whose meet is proper, is connected

I have proved that join of two connected (regarding a funcoid) filters, whose meet is proper, is connected. (I remind that in my texts filters are ordered reverse set-theoretic inclusion.)

The not so complex proof is available in the file addons.pdf. (I am going to move it to the book in the future.)

Leave a Reply