This function returns a matrix, with each row and column corresponding to a
subset of a hypothetical set of size n, ordered lexographically. The
entry in row i, column j corresponds to whether or not the
subset associated with i is a superset of that associated with
j.
A 1 or -1 indicates that i is a superset of j, with the sign
referring to the number of fewer elements in j. 0 indicates that
i is not a superset of j.