Definition:Eigenvalue of Densely-Defined Linear Operator