The following conjecture seems trivial but I have a hard hour trying to prove it. I suspect I have a big difficulty on the course of my research.
Conjecture for every
-indexed (where
is an arbitrary index set) families of filters
and
.
See This Web page and specifically this draft article for the notation I use.
It seems I have found a proof. See a proof sketch (with minor errors) in this rough draft.
Well, there is an unfounded step in this proof. I keep trying to prove it.
I give up. I am going to publish it as a conjecture.