Definition:Self-Adjoint Operator