unitary operator

surjective bounded operator on a Hilbert space preserving the inner product