When you define a relation, a good thing to do is to define its domain
As you write for the elements, maybe is it ?
The relation is reflexive if i.e. Is this true for any real ? ( A "no" means isn't reflexive)
Using the same notation, is: