Definition:Set Meeting Set

Definition
Let $\family {S_i}_{i \mathop \in I}$ be an family of sets indexed by some indexing set $I$.

The sets in $\family {S_i}$ are said to meet their intersection is not empty.

That is, :
 * $\displaystyle \bigcap_{i \mathop \in I} \family {S_i} \ne \O$

That is, $\family {S_i}_{i \mathop \in I}$ is not disjoint.