think of it this way: to perform any arithmetic operation in QxQ you can only possibly require multiplication and addition of rationals, which, given Q is closed (just not complete) will give you answers in QxQ too.