0
$\begingroup$

I have the following binary relation that is asymmetric: $$ \{\langle A,B\rangle , \langle B, C\rangle\} $$ I have the definition

A binary relation $R$ is reflexive on a set $S$ iff for all elements $d\in S$ the pair $\langle d, d\rangle$ is an element of $R$

Does this mean that the binary relation is reflexive on $S$?

$\endgroup$
4
$\begingroup$

Reflexivity holds for the empty set: Reflexivity means $\forall x, xRx$. If there is no $x$, then it is vacuously true. However, your relation $\{(A,B),(B,C)\}$ is not over the empty set, so I don't see how this applies.

$\endgroup$
2
  • $\begingroup$ Basically I'm trying to find a binary relation R and a set S where R is asymettric and R is reflexive on S $\endgroup$
    – H Bellamy
    Oct 9 '17 at 14:35
  • 1
    $\begingroup$ @HBellamy The only way a relation can be asymmetric and reflexive is if everything is over the empty set. Unless if by asymmetric you actually meant anti-symmetric. $\endgroup$
    – Riley
    Oct 9 '17 at 14:40
1
$\begingroup$

Usually when we say that $R$ is a relation on a set $S$, we implicitly require that $R\subseteq S\times S$. So when we say that $R$ is a reflexive relation on $\varnothing$, we also require that $R\subseteq\varnothing\times\varnothing=\varnothing$, which implies that $R=\varnothing$.

Of course, $\varnothing$ is reflexive as a relation on $\varnothing$, since if $x\in\varnothing$, then $\langle x,x\rangle\in\varnothing$, is true vacuously.

But it is not true that $\{\langle A,B\rangle,\langle B,C\rangle\}$ is reflexive on $\varnothing$ because it is not a relation on $\varnothing$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.