Definition:Eigenvector of Linear Operator