theorem Th1: :: MESFUNC6:1

for X being non empty set
for f being PartFunc of X,REAL holds |.(R_EAL f).| = R_EAL (abs f)