Я читаю "Причинність" Юдеї Перл (друге видання 2009 р.) Та в розділі 1.1.5 Умовна незалежність та графоїди, він говорить:
Далі наводиться (частковий) перелік властивостей, задоволених умовною залежністю незалежності (X_ || _Y | Z).
- Симетрія: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Розкладання: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- Слабка спілка: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Скорочення: (X_ || _ Y | Z) & (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Перетин: (X_ || _ W | ZY) & (X_ || _ Y | ZW) (X_ || _ YW | Z).
(Перетин дійсний при строго позитивних розподілах вірогідності .)
(формула (1.28), наведена раніше в публікації: [(X_ || _ Y | Z) iff P (X | Y, Z) = P (X | Z))
Але що таке "строго позитивний розподіл" у загальних рисах, а що відрізняє "строго позитивний розподіл" від розподілу, який не є строго позитивним?