Surjective is academic.

All that is required for countabilty of g(m,n), m,n countable, is for g(m,n) to be a mapping, any mapping, even countably multi-valued, for ex, g(m,n) = +/-sqrt(mn), mn positive and countable.

Hmmm. Got through after multiple tries. Thanks