for f being Function holds support f c= dom f