Gleason's theorem

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.