theorem Th10: :: RFUNCT_3:10

for D being non empty set
for F being PartFunc of D,REAL
for r being Real st r < 0 holds
(abs F) " {r} = {}