Gleason's theorem
properNoun
—
A mathematical theorem, important for quantum logic, proving that the Born rule for the probability of obtaining specific results for a given measurement follows naturally from the structure formed by the lattice of events in a real or complex Hilbert space.