Suppose bivariate case
P(a≤X1≤b ∣ X2=x2)= {∑a≤X1≤bp(x1∣x2):discrete∫abf(x1∣x2)dx1:continuous
E(X1∣X2=x2)= {∑x1x1p(x1∣x2):discrete∫−∞∞x1f(x1∣x2)dx1:continuous
E(g(X1)∣X2=x2)= {∑x1g(x1)p(x1∣x2):discrete∫−∞∞g(x1)f(x1∣x2)dx1:continuous
Var(X1∣X2)=E[(X1−E(X1∣X2))2∣X2]=E(X12∣X2)−E2(X1∣X2)
pf)

Thereom)
Let (X1,X2) be a random vector with Var(X2)<∞
① E[E(X2∣X1)]=E(X2)
② Var(X2)=E[Var(X2∣X1)]+Var[E(X2∣X1)]
pf)

