an important fact is that a dynkin system which is also a π-system (i.e., closed under finite intersections) is a σ-algebra. this can be verified by noting that conditions 2 and 3 together with closure under finite intersections imply closure under countable unions.