theorem Th132: :: MEMBER_1:132

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