theorem Th47: :: FUNCT_4:47

for X, Y being set
for f being Function st dom f c= [:X,Y:] holds
rng (~ f) = rng f