Cartesian product
ふたつの写像 が与えられたとき、直積集合 から直積集合 への写像を