# Definition The eigenstate of an [[Operator]] $\mathcal{O}$ is the state $\ket{\psi}$ such that $ \mathcal{O} \ket{\psi} = \lambda \ket{\psi} $ for some constant $\lambda$, the [[Eigenvalue]].