theorem Th29: :: FUNCT_7:30

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