Entropy submodularity
= Entropy submodularity
For discrete <random variables> $X,Y,Z$,
$$
H(X,Y)+H(Y,Z)\geq H(Y)+H(X,Y,Z).
$$
The difference between the left- and right-hand sides is the nonnegative <conditional mutual information> $I(X;Z\mid Y)$.