theorem Th4: :: RFUNCT_1:4

for f being complex-valued Function holds (f ^) " {0} = {}