for i, j being set holds [i,j] is not Ordinal