The conditional entropy of a discrete random variable given a discrete random
variable
, for
, is
where terms with
are taken to be 0. When the entropies on the right are finite,
it also satisfies
Conditional entropy satisfies . The
upper bound is attained when
and
are independent.