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
- AOption (a)
Neither a partial order nor an equivalence relation
- BOption (b)
A partial order but not a total order
- COption (c)
A total order
- DOption (d)
An equivalence relation
View answer & explanationHide answer & explanation
Correct answer
Neither a partial order nor an equivalence relation
Why this answer is correct
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: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: span
x<v and Unknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: span
y>v.
-
Reflexivity: For any ordered pair (�,�)(�,�)(�,�)(�,�)
(x,y), it is not possible for both �<��<��<��<�
x<y and Unknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: span
y>y to be true simultaneously. Therefore, ����
R is not reflexive.
-
Antisymmetry: If Unknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: span
(x,y)R(u,v) and (�,�)�(�,�)(�,�)�(�,�)(�,�)�(�,�)(�,�)�(�,�)
(u,v)R(x,y), then �<��<��<��<�
x<v and Unknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: span
y>v imply �<��<��<��<�
u<v and Unknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown 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: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: span
y>v, Unknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: span
u<z, and �>��>��>��>�
v>z. Combining these, we can deduce �<��<��<��<�
x<z and Unknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown node type: spanUnknown 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.

