That is, E, B, and F are required to be smooth manifolds and all the functions above are required to be smooth maps.
也就是，E, B, F都必须是光滑流形且所有上面用到的函数都必须是光滑映射。