Say I have 2 sets of sets:
$$ X = \left \{ \left \{ 1,2 \right \}, \left \{ 3,4 \right \} \right \} $$ $$ Y = \left \{ \left \{ 1,3 \right \}, \left \{ 2,4 \right \} \right \} $$
I want to express that each sub-set of x has at least 1 element in common with each subset of y.
Here is what I came up with:
$$ \left \| x \cap y \right \| \geq 1, \forall x \in X, \forall y \in Y $$
Does this seem correct?