It is easy to prove that the equation (for principal filters ) defines a (unique) funcoid which I call quasi-atoms funcoid.
Note that as it is easy to prove for every set of ultrafilters.
Does this funcoid posses interesting properties? Can it be used to prove any open problem?
What is its behavior on non-principal filters?
I started researching properties of this weird funcoid in this PDF file.