theorem Th9: :: CFUNCT_1:9

for C being non empty set
for f being PartFunc of C,COMPLEX holds (f ^) " {0} = {}