Let ##\hat{a}## be a quantum-mechanical observable, mathematically represented by a self-adjoint operator on a Hilbert space ##H## with inner product denoted by ##( , )##. For the simplest formulation of the Born rule, assume that ##\hat{a}## has non-degenerate discrete spectrum: this means that ##\hat{a}## has an orthonormal basis of eigenvectors ##(e_i)## with corresponding eigenvalues ##\lambda_i## , i.e. ##\hat{a}\ e_i = λ_i\ e_i## . A fundamental assumption underlying the Born rule is that a measurement of the observable a will produce one of its eigenvalues ##\lambda_i## as a result. In what follows, ##\Psi \in H## is a unit vector and hence a (pure) state in the usual sense. Then the Born rule states: If the system is in a sate ##\Psi##, then the probability ##P(a = \lambda_i | \Psi)## that the eigenvalue ##\lambda_i## of ##\hat{a}## is found when ##\hat{a}## is measured is ##P(a = \lambda_i | \Psi) = |(e_i , \Psi)|^ 2##.