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