https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf B' \subset Bに対しE' = E \vert_{B'}とする。 \Phi: K^*(B) \otimes K^*(F) \to K^*(E)を\Phi(b \otimes i^*c) = (p^*b)cで定める。 ここでi^*:K(E) \to K(F)は制限でこれは全射？ この\Phiが(K(B,B') \…