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

What do you mean by

>For all (a,b) ∈ S, a,b ∈ S and a,b < (a,b)

?

Am I right in understanding that

∀a,b∈S, [ (a,b)∈S ⇒ a<(a,b) ∧b<(a,b) ]

?