Files
2023-07-24 22:11:19 +10:00

464 B

Part E

Is \star an equivalence relation, a partial order, both, or neither?

A relation is an equivalence relation if it is reflexive, symmetric and transitive. It was shown in parts A, B, and D that \star meets these criteria.

A relation is a partial order if it is reflexive, anti-symmetric, and transitive. It was shown in parts A, B, and C that \star meets these criteria.

Therefore, \star is both an equivalence relation and a partial order.