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]?