# Properties of Relations. Reflexive, Symmetric, and Transitive.

Another person who shares both mother and father with you is your full sibling. Is the relation "x S y meaning x is a full sibling of y" reflexive? Is it symmetric? Is it transitive?

-

More generally, if $f \colon A\to B$ is any function, then the relation $\sim_f$ defined by $$a\sim_f b \qquad \Leftrightarrow \qquad f(a)=f(b)$$ is an equivalence relation.
On ProofWiki they call this equivalence relation induced by $S$, I am not sure whether there are some other commonly used names. On ProofWiki you can also find a proof that it, indeed, is an equivalence relation.
In your case, if $P$ is the set of all people and $f \colon P \to P\times P$ is a function which assigns to any person the ordered pair (mother,father); your relation is precisely $\sim_f$.