f⊂(X×Y)×Z
Φ(f)⊂X×(Y×Z)
てだけ