Definition:Resolvent Set of Densely-Defined Linear Operator