笛卡爾乘積
直積，通常稱為笛卡爾乘積，是數學中的一個概念，指兩個集合的直積或笛卡爾積是一個新的集合，由有序對組成，其中第一個對角線元素來自第一個集合，第二個對角線元素來自第二個集合。
直積的概念不僅限於兩個集合的笛卡爾乘積，它還可以擴展到更多集合的情況，其中每個集合中的元素都可以與其他集合中的元素組合形成有序對。在群論中，直積指的是將兩個群中的元素組合成對，從而構成一個更大的群。直積與直和的概念不同，直和是將兩個不重合的群拼起來構成一個更大的群，其中直和中的元素只有有限個非零元分量，而直積中的元素可以有無限個非零元分量。