Linear mapping/Eigenvalue/Definition