for f being Function
for d, i being object holds dom (f +* (i,d)) = dom f