Definition:Pairwise Disjoint/Family

Definition
An indexed family of sets $\family {S_i}_{i \mathop \in I}$ is said to be pairwise disjoint :
 * $\forall i, j \in I: i \ne j \implies S_i \cap S_j = \O$

Hence the indexed sets $S_i$ themselves, where $i \in I$, are referred to as being pairwise disjoint.

Also known as
Other names for pairwise disjoint include mutually disjoint and non-intersecting.

Some sources use the compact term disjoint family.