Covariant derivative

A connection defines covariant differentiation by adding one connection term for each contravariant index and subtracting one for each covariant index.