theorem Th98: :: FUNCT_7:99

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