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