Conditional data-processing inequality
= Conditional data-processing inequality
If $X\to Y\to Z$ is a Markov chain conditionally on $W$, then
$$
I(X;Z\mid W)\leq I(X;Y\mid W).
$$
It follows by applying ordinary data processing inside every conditional distribution and averaging over $W$.