that there are |X x X| = |X| x |X| = 7 x 7 = 49
elementary relations of the form i:j, where i and j range over the
space X.  Although they might be organized in many different ways,
it is convenient to regard the collection of elementary relations
as being arranged in a lexicographic block of the following form:

1:1  1:2  1:3  1:4  1:5  1:6  1:7
2:1  2:2  2:3  2:4  2:5  2:6  2:7
3:1  3:2  3:3  3:4  3:5  3:6  3:7
4:1  4:2  4:3  4:4  4:5  4:6  4:7
5:1  5:2  5:3  5:4  5:5  5:6  5:7
6:1  6:2  6:3  6:4  6:5  6: