集合族の定義

集合を元とする集合を集合族という。

例えば\(A\)を集合として\(A\)の各要素に\(B_i\)が対応しているとする。この時この集合族を

\begin{align}
\{ B_{i} \} _{i \in A}
\end{align}

などと表し、\(A\)をこの集合族の添字集合という。