theorem Th45: :: CLASSES4:45

for X being set
for G being Grothendieck of X holds FinSETS c= G