Conditional mutual information measures the dependence between random variables and
after another variable
is revealed. For discrete variables,
using natural logarithms, it is
Terms with zero joint probability contribute zero. For general variables on standard Borel
spaces, the definition is the average relative
entropy between the conditional joint law and the product of its conditional
marginals. When the conditional entropies
are finite, the discrete identity is , with the same logarithm
base.