theorem Th10: :: DYNKIN:11

for Omega being non empty set holds bool Omega is Dynkin_System of Omega