5This means that (n1,n2) E does not imply (n2,n1) E, for every n1,n2 N .