theorem Th3: :: MESFUN11:3

for X being non empty set
for A being set
for f being PartFunc of X,ExtREAL holds - (f | A) = (- f) | A