The arrow diagram should show the relation between the two sets. The arrow points from something in A to something in B. The start of the arrow is the first element of the tuple, the end of the arrow is the second element of the tuple. So for T, the arrows should go from 2 to 1 and from 2 to 5.