can someone show me how to write a formal proof of equivalence relation?
I have the following problem:
Let us have a set A and a set B. Let . Now let us have relation R and T, where R has a relation on B and T has a relation on A with one condition, if and only if .
Proof: If R is an equivalence relation then T is an equivalence relation
Well if I need to prove this, I have no idea where to start. It looks pretty obvious to me that when something with R is an equivalence relation, then T is also an equivalence relation?
If not, can someone show me how to start? How to approach this problem?
Thank you for your first reply!
Answer to your first question: Yes it means that by the definition of . (I guess this is the proof for reflexivity right?)
PS: Could you clear up what exactly does T has a relation on a mean? (I am very uncertain about the definition, it's rather vague at my side )
PS: I am trying the other two, please hold =)