[1] [DFN[直積]] [DFN[[CODE[×]]]] とは、次のような[[演算]]をいいます。
[FIG(math)[
[VAR[X]] [[×]] [VAR[Y]] := {([VAR[x]], [VAR[y]]) | [VAR[x]] ∈ [VAR[X]] ∧ [VAR[y]] ∈ [VAR[Y]]}
]FIG]

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