直積集合とは、複数の集合において、各集合から一つずつ要素を取り出して、全ての組み合わせを集めた集合のことです。
例えば、集合\(A=\{1, 2\}\)と集合\(B=\{a, b\}\)の直積集合\(A\times B\)は、以下になります。
\[A\times B=\{(1, a), (1, b), (2, a), (2, b)\}\]