数学において、集合のデカルト積（デカルト-せき、）または直積（ちょくせき、）、直積集合、または単に積（せき、）、積集合とは、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合のことである。

数学において、集合のデカルト積（デカルト-せき、）または直積（ちょくせき、）、直積集合、または単に積（せき、）、積集合とは、集合の集まり（集合族）に対して各集合から一つずつ元をとりだして組にしたもの（元の族）を元として持つ新たな集合のことである。