A theory of quantization is given, for a model with symmetry, as the inverse of dequantization. Dequanrization is defined as tin’ process of extracting the classical mechanics of a model from its quantal counterpart. It is shown that classical dynamics is embedded in quantum dynamics as a constrained subsystem. Thus, classical mechanics is obtained from quantum mechanics without taking limits of large-dimensional representations or letting h —► 0. The embedding shows that, under appropriate conditions, a quantal density can be identified with a classical state. The results are consistent with the conjecture that an algebraic model is quantized by constructing a unitary irrep of its spectrum generating algebra. Quantization of operators not ...