Hi

When you define a relation, a good thing to do is to define its domain

As you write for the elements, maybe is it ?

If so,

The relation is reflexive if i.e. Is this true for any real ? ( A "no" means isn't reflexive)

Using the same notation, is:

symmetric if

antisymmetric if

transitive if