Consider the naive statement x = x, where x is strictly a unique element of the set of real numbers, is x = x always true in this case? Is x ≠ y also always true in this case?

Answer 1

Well as you say, x = x is a naive statement since it is the reflexive property of equality.

x ≠ y is true only if the value x is difference than the value of y.