Изменения
Теорвер
,4. $A \subset B \implies p(A) \le p(B)$ — представим $B = A + (B \setminus A)$, дальше понятно
2. конечная аддитивность — очевидно
3. $p(\overline A) = 1 - p(A)$ — очевидно
4. $A \subset B \implies p(A) \le p(B)$ — представим $B = A = B + (A B \setminus BA)$, дальше понятно
5. $0 \le p(A) \le 1$ — очевидно из $\emptyset \subset A \subset \Omega$
6. $p(A + B) = p(A) + p(B) - p(AB)$ — понятно из $A + B = A + (B \setminus A) = (A + B) \setminus A B$. Следствие — $p(A + B) \le p(A) + p(B)$