Para ser una conexión ∇ debe satisfacer las identidades siguientes: