直接的所産

直積

[1] 直積 × とは、次のような演算をいいます。

X × Y := {(x, y) | xXyY}

[2] 直積: 直接的所産とも。