Propriedade de torre

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

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