Today I have noticed a new simple to prove theorem which is missing in my article:
Theorem If is a join-closed filtrator and both
and
are complete lattices, then for every
Particularly if , this theorem reduced to the formula:
Particularly the above formulas hold for filters on complete lattices.
I’ve added these theorems and their simple consequences to my book.