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