The tetrad is orthonormal in the sense that , where denotes a Minkowski
metric. The indices are the internal Lorentz indices, while as usual are the
space-time covariant indices. The inverse dual tetrad , defined by , satisfies . We have
also the completeness relation .