Comme nous venons de le voir, toute application peut être décrite dans
le ``langage des fibrés'', mais toute application n'est pas une fibration
: dans le cadre de cet ouvrage, nous travaillons dans la catégorie des
variétés différentiables et nous dirons qu'une application 
est une fibration si toutes les fibres 
, 
sont difféomorphes (on suppose ici que P et M sont des variétés et que
est différentiable). Plus généralement, même dans le cas où les
fibres sont discrètes, on dira qu'on a affaire à une fibration si
toutes les fibres ont même cardinalité.
Puisque toutes les fibres sont difféomorphes, on dira que la fibre type est F lorsque toutes les fibres sont ``de type F'', ce qui signifie : difféomorphes à F.