Can a relation be a partial order AND an equivalence at the same time? For instance, if we have a set $A = \{1, 2, 3, 4, 5\}$ and a relation $R$ on $A$ defined as $R = \{(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)\}$: this relation is reflexive, anti-symmetric, symmetric, and would it be considered transitive as well? If it is considered transitive, I suppose that it is an equivalence and a partial order at the same time.
2026-03-29 12:40:43.1774788043
Can a relation be a partial order and an equivalence at the same time?
5.9k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
Two remarks:
(1) Equality is an equivalence relation which is also a partial order ($\leq$).
(2) An equivalence relation is never a strict partial order ($<$).