theorem Th22: :: MEMBERED:22

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