Question - Logic

WhoIsThat

Senior member
Dec 27, 2002
362
0
0
Ok, I posted a math problem earlier - still working on that.

I am trying to understand something that is both partial order and equivalence relation.

Definition of partial order:
-reflexive
-antisymmetric
-transitive

Definition of equivalence relation:
-reflexive
-symmetric
-transitive

I am having a hard time thinking up what it means to be both a partial order and an equivalence at the same time, but apparently it's possible.

Could somebody perhaps explain to me with an example how something could ge both a partial order and an equivalence at the same time?

How could something be antisymmetric and symmetric at the same time? :(