In quantum information theory, the reduction criterion is a necessary condition a mixed state must satisfy in order for it to be separable. In other words, the reduction criterion is a separability criterion. It was first proved and independently formulated in 1999. Violation of the reduction criterion is closely related to the distillability of the state in question.