直積集合

二つの集合AとBの直積集合はA×Bと表記される。

直積集合の要素は順序対である。

デカルト積は直積集合の別名だ。