Homework Statement
A is some set.
R is a relation (set of ordered pairs), and is transitive on A.
S = {(x,y) | (x,y) is element of R, (y,x) is not element of R}
Show that S is transitive and trichotomic on A.
Homework Equations
Transitivity: With xRy and yRz ==> xRz
The...