افراز، ناسازگار، مستقل و نماد شرطی

سه واژه را با تعریف کتاب بشناس. افراز: زیرمجموعه‌های ناتهیِ $S$ که اجتماعشان $S$ است و هر دوتایشان اشتراک تهی دارند. ناسازگار: $A\cap B=\varnothing$، یعنی با هم رخ نمی‌دهند و $P(A\cup B)=P(A)+P(B)$ است. مستقل: وقوع هرکدام بر احتمال دیگری اثر ندارد و $P(A\cap B)=P(A)P(B)$ است. این دو شرط یکی نیستند. نماد $P(A\mid B)$ یعنی احتمال $A$ به شرط اینکه بدانیم $B$ رخ داده است.