Propriedade de torre

Em Teoria das probabilidades, a Propriedade de torre, determina que, se $X$ é uma Variável Aleatória integrável - Ou seja, tal que ${\textrm {E}}|X|<\infty$ - e $Y$ é outra variável aleatória, não necessáriamente integrável, definida no mesmo Espaço de probabilidade, então:

$\ {\textrm {E}}[{\textrm {E}}[X|Y]]={\textrm {E}}[X]$