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