theorem Th24: :: MEMBERED:24

for X being set
for Y being natural-membered set st X c= Y holds
X is natural-membered ;