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.