Three different forms of congestion of production factors are defined and analyzed within an axiomatic theory of production. These forms of congestion are used to characterize a law of variable proportion. (Author)