The Boltzmann-Enskog equation for a hard sphere gas is known to have so called microscopic solutions, i.e., solutions of the form of time-evolving empirical measures of a finite number of hard spheres. However, the precise mathematical meaning of these solutions should be discussed, since the formal substitution of empirical measures into the equation is not well-defined. Here we give a rigorous mathematical meaning to the microscopic solutions to the Boltzmann-Enskog equation by means of a suitable series representation. R 6 f (x, v, t) dxdv = 1, then f can be understood as a probability density of an arbitrary single hard sphere. Further, S 2 + = {ω ∈ S 2 | (v − v 1 ) · ω ≥ 0}, S 2 is the unit sphere in R 3 (with the surface measure dω), (v, v 1 ) is a pair of velocities in incoming collision configuration and (v , v 1 ) is the corresponding pair of outgoing velocities 2010 Mathematics Subject Classification. Primary: 82C05, 82C40; Secondary: 35Q20.