Definition:Transversal (Set Theory)

Definition
Let $\SS$ be a set of non-empty pairwise disjoint sets.

A transversal of $\SS$ is a set $C$ which contains exactly one element from each $T \in \SS$.

Also known as
A transversal is also known as a choice set.