theorem Th36: :: PRE_POLY:37

for f being Function holds support f c= dom f