The construction of the ∗-product proposed by Fedosov is implemented in terms of the theory of fibre bundles. The geometrical origin of the Weyl algebra and the Weyl bundle is shown. Several properties of the product in the Weyl algebra are proved. Symplectic and abelian connections in the Weyl algebra bundle are introduced. Relations between them and the symplectic connection on a phase space M are established. Elements of differential symplectic geometry are included. Examples of the Fedosov formalism in quantum mechanics are given.