Question: Let A be a set and suppose R is a partial order on A (that is, R is a reflexive, transitive, and anti- symmetric relation

Let A be a set and suppose R is a partial order on A (that is, R is a reflexive, transitive, and anti- symmetric relation on A). For X E A define the cone of 2, denoted (2) R, as follows (2) R = {a A|(a,x) R} Prove that for all 2, Y E A, we have (2) R C (y)R if and only if (x,y) E R
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
