for X, Y being set st X <> {} holds
rng (pr2 (X,Y)) = Y