retagged by
699 views
9 votes
9 votes

A binary relation $\mathrm{R}$ over a set $\mathrm{A}$ is called a "GO Relation" if for all $\mathrm{x}, \mathrm{y}, \mathrm{z}$ $\in A$, if $x R y$ and $x R z$, then $y R z$.

Which of the following is/are true about a relation $\mathrm{R}?$

  1. If $R$ is a reflexive and GO relation then $R$ is symmetric.
  2. If $R$ is a reflexive and GO relation then $R$ is transitive.
  3. If $R$ is a GO relation then $R$ is reflexive.
  4. If $R$ is an equivalence relation then $R$ is a GO relation.
retagged by

1 Answer

3 votes
3 votes

Detailed Video Solution: Video Solution with Complete Analysis

A binary relation $\mathrm{R}$ over a set $\mathrm{A}$ is called a Euclidean relation if for all $\mathrm{x}$, $y, z \in A$, if $x R y$ and $x R z$, then $y R z$. For example, the $\equiv k$ relation is Euclidean over $\mathbb{Z}$, but the $\leq$ relation over $\mathbb{N}$ is not.

Let $\mathrm{R}$ be an arbitrary binary relation over some set $\mathrm{A}$.

We can easily prove that $R$ is an equivalence relation if and only if it is reflexive and Euclidean.

Video Solution with Complete Analysis: https://www.youtube.com/watch?v=DEGoAIItx70

edited by
Answer:

Related questions

472
views
1 answers
2 votes
GO Classes asked Jan 13
472 views
If $b$ and $c$ are elements in a group $G$, and if $b^5=c^3=e$, where $e$ is the unit element of $G$, then the inverse of $b^2 c b^4 c^2$ must be$b^4 c^2 b^2 c$$c^2 b^4 c...