  In this paper we will discuss Faddeev-Popov method for field theories with a
gauge symmetry in an abstract way. We will then develope a general formalism
for dealing with the BRST symmetry. This formalism will make it possible to
analyse the BRST symmetry for any theory.
