Definition

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