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
.