**Defined in theory: Basic-matrix-algebra****Source code: basic-matrix.lisp**

**Documentation:**An orthogonal-matrix is a square-matrix and its transpose is equal to its inverse.

**Subclass-Of:**Square-matrix

**Transpose:***Same-Slot-Values:*Matrix-inverse

(<=> (Orthogonal-Matrix ?M) (And (Square-Matrix ?M) (Same-Values ?M Transpose Matrix-Inverse)))