| context | $V$…Hilbert space |
| definiendum | $\langle\cdot\rangle_{-}:\mathrm{Observable}(V)\times V\to\mathbb R$ |
| definiendum | $\langle A \rangle_{\psi}:=\langle \psi | A\ \psi \rangle$ |
| $A\ \psi=\lambda\ \psi \implies (\langle A \rangle_{\psi}=\lambda)\,\land\,(\Delta_\psi A=0)$ |
|---|