Compositions of filters on finite unions of Cartesian products Let $\Gamma$ be the lattice of all finite unions of Cartesian products $A\times B$ of two arbitrary sets $A,B\subseteq U$ for some set $U$. See this note for other equivalent ways to describe the set $\Gamma$: http://www.mathematics21.org/binaries/funcoids-are-filters.pdf
It is obvious that $G\circ F\in\Gamma$ for every binary relations $F,G\in\Gamma$.
Thus for every filters $f$ and $g$ on $\Gamma$ we can define $g\circ f$ as the filter on $\Gamma$ defined by the base $\{ G\circ F \mid F\in f,G\in g \}$.
I need to prove (or disprove) that if $K\in g\circ f$ then there exist $F\in f$ and $G\in g$ such that $K\supseteq G\circ F$ (for all filters $f$, $g$ on $\Gamma$).

It seems that it's enough to prove this conjecture only for the case if $f$ or $g$ is a principal filter.

Let $f$, $g$ be filters on $Γ$.

"define $g∘f$ as the filter on $Γ$ defined by the base $\{G∘F∣F∈f,G∈g\}$."

So as claimed,  $g∘f$ is the filter generated by (=smallest filter containing) the base $\{G∘F∣F∈f,G∈g\}$.
This means that

$\{G∘F∣F∈f,G∈g\}$ is a base for the filter $g\circ f$.

Which, by definition of a base for a filter, implies:

For each $K$, if $K∈g∘f$ then there exist $F∈f$ and $G∈g$ such that $K⊇G∘F$.

So there remains nothing to prove.
