theorem Th21: :: MEMBERED:21

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