In
probability theory, the
conditional expectation of a
random variable is another random variable equal to the average of the former over each possible "condition". In the case when the random variable is defined over a discrete
probability space, the "conditions" are a
partition of this probability space. This definition is then generalized to any probability space using
measure theory.