直行行列
$ ^tA=A^{-1}
となるような
行列
$ A
のこと
転置行列
と
逆行列
が等しくなる