(1 3)というのは

f(1)=3
f(3)=1
kが1でも3でもないならf(k)=k

という写像fのこと