conditional probability subgroup of probability, 2 assertions