Algebraic Topology
《Algebraic Topology》 · 第 406 页 · Section 4.2
For a fibration \(p:E\to B\) and a map \(f:A\to B\), the space \(f^*(E)=\{(a,e)\in A\times E\mid f(a)=p(e)\}\) is called the pullback or induced fibration over \(A\).