Congruence Modulo

The graph shows the congruence modulo relation, on the first [math]n[/math] natural numbers, and its equivalence classes.

The equivalence classes partition A (where A=the first [math]n[/math] natural numbers). Does the relation partition [math]A\times A[/math]?