곱집합
집합론에서, 곱집합(곱集合, ) 또는 데카르트 곱(Descartes곱, )은 각 집합의 원소를 각 성분으로 하는 튜플들의 집합이다. 예를 들어, 두 집합 formula_1의 곱집합 formula_2는 formula_3이다. 곱집합은 집합의 다양체에서의 직접곱이며, 집합의 범주에서의 곱이다.