theorem Th23: :: MEMBERED:23

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