A relation 'R' is defined on ordered pairs of integers as:
(x, y) R (u, v) if x < u and y > v. Then R is
1. Neither a partial order nor an equivalence relation ✓ Correct
2. A partial order but not a total order
3. A total order
4. An equivalence relation
Show Solution
Solution
The correct answer is Neither a partial order nor an equivalence relation
Key Points
Let's reevaluate the properties of the relation R :( x , y ) R ( u , v ) if Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span
x < v and Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span
y > v .
Reflexivity: For any ordered pair ( � , � ) ( � , � ) ( � , � ) ( � , � )
( x , y ) , it is not possible for both � < � � < � � < � � < �
x < y and Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span
y > y to be true simultaneously. Therefore, � � � �
R is not reflexive.
Antisymmetry: If Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span
( x , y ) R ( u , v ) and ( � , � ) � ( � , � ) ( � , � ) � ( � , � ) ( � , � ) � ( � , � ) ( � , � ) � ( � , � )
( u , v ) R ( x , y ) , then � < � � < � � < � � < �
x < v and Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span
y > v imply � < � � < � � < � � < �
u < v and Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span
v > y . However, this does not necessarily mean that ( � , � ) = ( � , � ) ( � , � ) = ( � , � ) ( � , � ) = ( � , � ) ( � , � ) = ( � , � )
( x , y ) = ( u , v ) . Therefore, � � � �
R is not antisymmetric.
Transitivity: If ( � , � ) � ( � , � ) ( � , � ) � ( � , � ) ( � , � ) � ( � , � ) ( � , � ) � ( � , � )
( x , y ) R ( u , v ) and ( � , � ) � ( � , � ) ( � , � ) � ( � , � ) ( � , � ) � ( � , � ) ( � , � ) � ( � , � )
( u , v ) R ( w , z ) , then � < � � < � � < � � < �
x < v , Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span
y > v , Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span
u < z , and � > � � > � � > � � > �
v > z . Combining these, we can deduce � < � � < � � < � � < �
x < z and Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span Unknown node type: span
y > z . Therefore, � � � �
R is transitive.
A binary relation is an equivalence relation on a nonempty set S if and only if the relation is reflexive(R) , symmetric(S) and transitive(T) .
A binary relation is a partial order if and only if the relation is reflexive(R) , antisymmetric(A) and transitive(T) .
From the given relation, it is neither partial order nor equivalence relation.
So, the correct answer is indeed: 1) Neither a partial order nor an equivalence relation.