If the Matrix Transposition is the Inverse Matrix, then that transposition is orthogonal. Formal Definition AT=A−1⟺A is orthoganal Theorems Orthogonal and Determinant Theorem