Definition

  1. Let as Inner Product Space with
  2. then, preserves inner products if

This requires the basis of to be Orthonormal