拉数学中,两个集合笛卡儿积(英语:Cartesian product),又称直积,拉集合论中表示为,是所有可能个有序对组成的集合,其中有序对个第一个对象是个成员,第二个对象是个成员。