- #26

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 955

Then you should have said "identity relation" rather than "reflexive relation". What you orignally said was "a reflexive relation is an equivilence relation because it is reflexive, and vaccuosly transative and vaccuosly symetric."Originally posted by modmans2ndcoming

when I made the post, I had this type of reflexive set in mind:

{ (1,1) , (2,2) }

so I most certainly did not have all cases that are reflexive in mind.

I most certainly know that the class

{ (1,1), (2,2), (2,3) } is not an equivilence....but then if you read carfuly, you would see I used the term "vaccuos" in relation to symetric and transitive, meaning that no ordered pair (like the(2,3) I used above) exists in the set, so all elements are examples of reflexivity, nothing more.

reflexive is a bidirectional proposition, so you MUST have at least one ordered pair in the set, and it must represent for all x : (x,x)

but Symetric is an implication, so it the antecedent is false, it is symetric.

and Transitive is an implication so in the same way as symetric, it will be true.

The "vacuously" part did not clarify, it's just wrong: not all reflexive relations are transitive or symmetric.