Maths: better definition of covariance