theorem Th2: :: MATROID0:2

for M being subset-closed SubsetFamilyStr holds
( not M is void iff {} in the_family_of M )