直積集合
多変数の写像 は直積集合上の写像 として理解できる。