Offtop: Нет, всё наоборот. То, что я пишу, есть отражение того, что представляет собой условная вероятность. Множество всех исходов сужается до множества в условии. И от события, вероятность которого ищется, остаётся только та часть, что лежит внутри множества из условия. Если раньше вероятность была P(A) = #(A) / #(Ω), то теперь P(A|B ) = #(AB ) / #(B ), где #(*) - число равновозможных исходов.

Именно отсюда и берётся определение условной вероятности. Это определение обычной перенормировки, когда старое множество исходов заменяется на новое - то, которое стоит в условии. Классическое определение вероятности продолжает здесь действовать.
Но не буду мешать, финал уже близко