Properties of conditional probability