theorem Th4: :: MEMBERED:4

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