for c being Complex
for g being complex-valued Function holds dom (g (/) c) = dom g by VALUED_1:def 5;