直積集合
多くの文脈において、-次元区間は、各座標軸上に各々ひとつ取った 個の区間の直積集合 として書ける の部分集合として定義される。