(a) Ordered pairs, sets of ordered pairs