theorem :: FUNCT_7:103

for F being Function
for x, y being object holds rng (Swap (F,x,y)) = rng F