be a pair of discrete random variables with a given joint probability distribution. For
, the entropy of
, define the function
as the infimum of
, the conditional entropy of
given
, with respect to all discrete random variables
such that a)
, and b)
and
are conditionally independent given
. This paper concerns the function
, its properties, its calculation, and its applications to several problems in information theory.