The conditional expectation of an integrable random variable
given a sigma-algebra
is a
-measurable random variable,
denoted
,
such that
for every .
It is unique up to sets of probability
zero.
When conditioning on a random variable , the notation
means conditioning on the sigma-algebra
generated by
.
Conditional expectation is the probability-theoretic analog of averaging while retaining
specified information.