Definition:Set Partition/Finite Expansion

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.

Let $\Bbb S = \set {S_1, S_2, \ldots, S_n}$ form a partition of $S$.


Then the representation by such a partition $\ds \bigcup_{k \mathop = 1}^n S_k = S$ is also called a finite expansion of $S$.


The notations:

$S = S_1 \mid S_2 \mid \cdots \mid S_n$

or:

$\Bbb S = \set {S_1 \mid S_2 \mid \cdots \mid S_n}$

are sometimes seen.