>>184
>その2つ
とは(X×Y)×ZとX×(Y×Z)のことね?
通常の定義では異なるものとなるが
標準的な全単射があるから同一視されることも
fとΦ(f)はその全単射で対応する