См. определение условной вероятности.