theorem Th152: :: MEMBER_1:152

for G being ext-real-membered set
for f, g being ExtReal st g in G holds
f - g in f -- G