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