直積 - 廃人になれなかった人のために

　直積とは、'写像の集合'である。

　ある集合 $\Lambda$ は要素 $\lambda_1,\lambda_2,\cdots$ をもっているとする。

　ある集合 $A_1,A_2,\cdots$ の集合 $A$ を考える。

　例えば、 $\lambda_1$ の像が $A_1$ の元になるような写像たち $f_1,f_2,\cdots$
の集合。同じ様に、その写像たちによる $\lambda_2$ の像が $A_2$ の元になる…って $\Lambda$ の要素の数だけ同じことが言える。そんな写像たち $f_1,f_2,\cdots$ の集合が直積。