• We’re currently investigating an issue related to the forum theme and styling that is impacting page layout and visual formatting. The problem has been identified, and we are actively working on a resolution. There is no impact to user data or functionality, this is strictly a front-end display issue. We’ll post an update once the fix has been deployed. Thanks for your patience while we get this sorted.

Question - Logic

WhoIsThat

Senior member
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? 🙁
 
Back
Top