[1] 直積 × とは、次のような演算をいいます。X × Y := {(x, y) | x ∈ X ∧ y ∈ Y}
×
X × Y := {(x, y) | x ∈ X ∧ y ∈ Y}
[2] 直積: 直接的所産とも。