Construction of a bijective function [math]f:{\bf N}\to{\bf N}\times{\bf N}[/math].[br]This is the main ingredient in the proof that the set [math]{\bf Q}[/math] of the rational numbers is countable.[br][br]Press the button to start the animation.