Conjecture The formula is not true in general for completary multifuncoids (even for multifuncoids on powersets) and of the same form .
See Algebraic General Topology, especially the theory of multifuncoids for definitions of used concepts.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.