Conditional Probability 4.5.3 satisfies all of the requirements of regular probability 4.3.2.