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