## Classical probability density function

### Set

 context ${\hat\rho}$ … classical phase density definiendum $\rho:=\frac{\hat\rho}{\int_\Gamma\ \hat\rho\ \mathrm d\Gamma}$

### Discussion

The function $\rho$ is just the normalized version of ${\hat\rho}$.