A mathematical way to describe quantum operations that guarantees they produce physically valid quantum states.