Orthogonal contravariant and covariant satisfy g_(i k) g^(i j) = δ_k^j, where δ_j^k is the Kronecker delta.

contravariant tensor | covariant tensor