Definition (Conditional variance)
The conditional variance of an RV X given Y=y is Var(X∣Y=y)=E[X2∣Y=y]−E[X∣Y=y]2
Theorem (Conditional Variance Formula)
We find that \mboxVar(X∣Y) is RV and given this information we find that \mboxVar(X)=E[\mboxVar(X∣Y)]+\mboxVar(E[X∣Y])