If we specialize to the case when \({C}= {K}/B\) , it turns out that the required hypotheses
of [1]}, [2]} are satisfied and the above notions of \(h\) -equivalence, \(h\) -fibration and \(\bar{h}\) -cofibration
equip \({K}/B\)  with the structure of a model category.
This model structure is called the \(f\) -model structure (for fiberwise) and the weak equivalences,
fibrations and cofibrations are labelled accordingly.
A precise statement is the following.
