(i) | $\mathcal{G} \subseteq \mathcal{F}$ is a D470: Subsigma-algebra of $\mathcal{F}$ on $\Omega$ |
(ii) | $E \in \mathcal{F}$ is an D1716: Event in $P$ |
(i) | $\mathcal{G} \subseteq \mathcal{F}$ is a D470: Subsigma-algebra of $\mathcal{F}$ on $\Omega$ |
(ii) | $E \in \mathcal{F}$ is an D1716: Event in $P$ |
(i) | $\mathcal{G} \subseteq \mathcal{F}$ is a D470: Subsigma-algebra of $\mathcal{F}$ on $\Omega$ |
(ii) | $E \in \mathcal{F}$ is an D1716: Event in $P$ |
▶ | D2795: Conditionally independent event collection |