theorem Th155: :: MEMBER_1:155

for F, G being ext-real-membered set
for r being Real st r -- F c= r -- G holds
F c= G