直積集合とは、複数の集合から一つずつ要素を取り出して組にしたものを要素とする集合のことです。
例えば、集合A={1, 2, 3}と集合B={a, b}の直積集合A×Bは、以下になります。
A×B={(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)}