集合論 デカルト積, 直積とも 集合族に対して、各集合から1つづつ元を取り出して組にしたものを元としてもつ新たな集合 A×B={(a,b)∣a∈A∧b∈B} 直積は可換ではない A×B=B×A (a,b)=(b,a)なので https://mathlandscape.com/product-set/