I have a little generalized the following old theorem:
.
I have also found a new (easy to prove) theorem:
.
The above formulas hold for filters on a set (and some generalizations).
Do these formulas hold also for funcoids? (an interesting conjecture)
See my free e-book.