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