In the same way, if is a probability conditional for a class of probability functions, and if that class is closed under conditionalizing, then holds for any probability function in the class, and for any A and.