差分

$$A \times B \equiv \{ (a, b) | a \in A, b \in B\}$$

を$$A$$と$$B$$の'''直積集合'''という。このときの元$$(a,b)$$を'''順序対'''という。