I don't really get your explanation, could you try to explain it a bit more or maybe more examples. Sorry!
I don't get the example that you give me, but I understand that in order of S(x,y) to be valid, x has to be less than y and here x = y, so it can't happen right? Am I explaining it the right way? I also don't understand by the domain that you give me. Is that for all x and y?
Is this a type of fallacy?