The Cartesian product set of R s.t (x,y)ЄR and (y,z)ЄR is given by,
R=(x,y)*(y,z)={(x,y),(x,z),(y,y),(y,z)}
Clearly if R is transitive implies (x,y)ЄR and (y,z)ЄR implies (z,x)ЄR holds since R is a subset of SxS from the set .
Now consider another set (z,y) and (y,x). Clearly (z,y) does not belong to R same is the case with (y,x). Now according to the definition of negative transitivity (z,x) should not belong to R either. In this case clearly (z,x) does not belong to R too. So it has been proved that operator R is transitive and negatively transitive at the same time. So Assumption 1 is false.
Now consider the set R-1={(y,x),(z,x),(y,y),(z,y)}.
Now from the set R-1 you can easily verify that for every element of R-1 you can establish transitive relation.
For (z,y)ЄR-1 and (y,x)ЄR-1, (z,x)ЄR-1.
You can check for every element in R-1.(So assumption 2 is correct).
Now if assumption 2 is correct, then 3 may or may not hold…so only correct assumption is 2.
This should be the solution according to me..however others plz check and let me know if there is any mistake.
"I don't ride side-saddle. I'm as straight as a submarine"