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.