Estoy leyendo la "Causalidad" de Judea Pearl (segunda edición 2009) y en la sección 1.1.5 Independencia condicional y Grafoides, dice:
La siguiente es una lista (parcial) de propiedades satisfechas por la relación de independencia condicional (X_ || _Y | Z).
- Simetría: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Descomposición: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- Unión débil: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Contracción: (X_ || _ Y | Z) & (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Intersección: (X_ || _ W | ZY) y (X_ || _ Y | ZW) (X_ || _ YW | Z).
(La intersección es válida en distribuciones de probabilidad estrictamente positivas ).
(fórmula (1.28) dada anteriormente en el publicatiob: [(X_ || _ Y | Z) iff P (X | Y, Z) = P (X | Z))
Pero, ¿qué es una "distribución estrictamente positiva" en términos generales, y qué distingue una "distribución estrictamente positiva" de una distribución que no es estrictamente positiva?