When we talk about electron correlation in condensed matter physics or chemical physics, we usually refer to the fact that the pair-density $$ P(r,r') = N(N-1) \int |\psi(r,r',r_3,...,r_N)|^2 \; \textrm d^3 r_3 ... \textrm d^3 r_N $$ cannot be written as the product of the electron density. $$ P(r,r') \neq \rho(r_1)\rho(r_2) \;, $$ where $$ \rho(r) = N \int |\psi(r,r_2,r_3,...,r_N)|^2 \; \textrm d^3 r_2 ... \textrm d^3 r_N \;. $$ However, a mathematician would say, that the statement "the pair-density cannot be written as a product of the electron density" implies electron dependence and not necessarily electron correlation.
Are physicist simply not making a distinction between dependence and correlation?
For example in the Wikipedia article correlation and dependence one can read:
In informal parlance, correlation is synonymous with dependence.
If, however, I want to clearly distinguish between correlation and dependence, then the common approach as "the pair-density cannot be written as a product of the electron density" only defines electron dependence and does simply not define electron correlation.
So what is electron correlation?