>>483 I know that a similar method is used to prove that the set of rationals and naturals have the same cardinality except you remove all the duplicates. But I'm not quite sure what you mean by \math{(2, 0) = (1, 0, 0) > (1, 1) = (0, 1, 1)}. Could you elaborate?