Product set/Ordering/Bijection/Exercise