theorem Th34: :: ARMSTRNG:34

for X being non empty finite set
for B being Subset-Family of X holds B c= saturated-subsets (X deps_encl_by B)