Definition:Resolvent Set