for i, j being object holds not [i,j] in omega