theorem Th26: :: MEMBER_1:26

for f being ExtReal holds {f} "" = {(f ")}