theorem Th52: :: FUNCT_4:52

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