Re: proof



In article
<29016074.1212261414461.JavaMail.jakarta@xxxxxxxxxxxxxxxxxxxxxx>,
John Terry <john.terry900@xxxxxxxxx> wrote:

Prove that if R is a reflexive and transitive relation, then R/\(R^-1) is an
equivalence relation.

Note, unicode ( as in your intersection and inverse) is not recognized
by all Newsgroup readers.


Let A/\B denote the intersection of A and B:

1. If R is a reflexive relation, show R/\(R^-1) is also reflexive.

2. If R is a transitive relation, show R/\(R^-1) is also transitive.

3. Show R/\(R^-1) is a symmetric relation.
.