Question: Let $R$ be a relation on a set $A$. Prove that
- if $A$ is non-empty, the empty relation is not reflexive on $A$.
- the empty relation is symmetric and transitive for every set $A$.
For a relation to be reflexive: For all elements in A, they should be related to themselves.
($x$ $R$ $x$). Now in this case there are no elements in the Relation and as A is non-empty no element is related to itself hence the empty relation is not reflexive.
Now for a set to be symmetric and transitive: As these are conditional statements if the antecedent is false the statements would be true. And as the relation is empty in both cases the antecedent is false hence the empty relation is symmetric and transitive.
(I just want to know if my solutions are correct. - I've given brief solutions without using any notation here.)