直積集合
数学において、集合のデカルト積（デカルト­せき、）または直積（ちょくせき、）、直積集合、または単に積（せき、）、積集合は、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合である。
具体的に二つの集合 に対し、それらの直積とはそれらの任意の元 の順序対 全てからなる集合をいう。 では
と書くことができる。有限個の集合の直積 も同様の-組からなる集合として定義されるが、二つの集合の直積を入れ子 (nested) にして、 と帰納的に定めることもできる。