theorem Th20: :: INTEGRA9:20

for f, g being PartFunc of REAL,REAL
for C being non empty Subset of REAL holds (f - g) || C = (f || C) - (g || C)