for F being Function
for x, y being object st x in dom F & y in dom F holds
F, Swap (F,x,y) are_fiberwise_equipotent