Saya membaca "Kausalitas" Judea Pearl (edisi kedua 2009) dan di bagian 1.1.5 Independensi Bersyarat dan Graphoids, ia menyatakan:
Berikut ini adalah daftar (sebagian) properti yang dipenuhi oleh hubungan independensi bersyarat (X_ || _Y | Z).
- Simetri: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Dekomposisi: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- Serikat lemah: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Kontraksi: (X_ || _ Y | Z) & (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Persimpangan: (X_ || _ W | ZY) & (X_ || _ Y | ZW) (X_ || _ YW | Z).
(Persimpangan berlaku dalam distribusi probabilitas yang benar-benar positif .)
(rumus (1.28) yang diberikan sebelumnya dalam publikasi: [(X_ || _ Y | Z) iff P (X | Y, Z) = P (X | Z))
Tetapi apa yang dimaksud dengan "distribusi positif ketat" secara umum, dan apa yang membedakan "distribusi benar-benar positif" membentuk distribusi yang tidak sepenuhnya positif?