The nodes of the matrix are topologically sorted (by using the tsort function of the RBGL package).
Let's denote with adj our adjacency matrix. Then adj represents a partial
order data set in which the class j dominates the class i. In other words, adj[i,j]=1 means that j dominates i;
adj[i,j]=0 means that there is no edge between the class i and the class j. Moreover the nodes of adj are
ordered such that adj[i,j]=1 implies \(i < j\), i.e. adj is upper triangular.