
Patrick B. answered 06/01/20
Math and computer tutor/teacher
Transitive:
if, for (a,b) and (b,c) in R=AxA, a~b and b~c then
a<b and b<c, so that a preceeds b and b preceeds c;
therefore a<b<c and a preceeds c, so a~c
Hence (a,c) is in AxA=R
Asymmetric:
if for (a,b) in R=AxA, a~b, then
a< b, so that a preceeds b.
Then b>a, so a b does not proceed a.
Therefore (a,b) is asymmetric
[end of proof]