2
$\begingroup$

Is the predicate P with two variables, x and y, x smaller than y , the same thing as the predicate P with two variable , y and x, does it stays x smaller than y or does y becomes smaller than x ?

Thanks.

1 Answers 1