User blog comment:Alemagno12/How strong is this function? (2)/@comment-25337554-20171111093003/@comment-25601061-20171111141731

I mean that If (a,b) ∈ S, then a,b ∈ S and a,b < (a,b)