Definition of "eigenvector"