"Geçişken bir bağıntının tersi de geçişkendir" demek istiyorsunuz sanırım. Zira bir bağıntının transpozesi diye bir kavram -bildiğim kadarıyla- yok. Varsa da ben bugüne kadar hiç duymadım. Bir bağıntının tersi şöyle tanımlanıyor:
$X$ herhangi bir küme ve $\alpha\subseteq X^2$ olmak üzere $$\alpha^{-1}:=\{(y,x)|(x,y)\in\alpha\}$$ bağıntısına $\alpha$ bağıntısının tersi denir.