The paper is the first in a series of papers on the use of measures and generalized measures in quantum theory. In particular, a survey of the proofs of equivalence of various definitions of the density operator is presented. The exposition is of algebraic nature, and analytic assumptions are usually omitted.