theorem Th8: :: SETWISEO:11

for X being set
for B being Element of Fin X
for A being set st A c= B holds
A is Element of Fin X