"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 α⊆X2 olmak üzere α−1:={(y,x)|(x,y)∈α} bağıntısına α bağıntısının tersi denir.