集合のデカルト積

集合の積

A,Bを集合とする。

AとBのデカルト積A×Bは、次のように定義される

A×B={(a,b) |a ∈A かつ b ∈B }