An inequality that describes the evolution of a physical system with time. This inequality is violated in quantum mechanics. It was derived by Anthony Leggett and Anupam Garg in 1985 in the context of decoherence in macroscopic quantum-mechanical systems but is a much more general result. There is experimental evidence that the Leggett–Garg inequality is violated.