Definition
The conditional variance of an RV X given Y=y is \mboxVar(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])