theorem :: PRALG_1:2

for A, B being non empty set holds rng (Inv (A,B)) = [:B,A:]