Exercise · ZW-PARTIAL-ORDER-RELATION-005 · ★★☆ Intermediate

Why is \(<\) on \(\mathbb{Z}\) not a partial order?

Choose one option.

Show answer
  • B. It is not reflexive

Explanation

No \(a\) satisfies \(a<a\), so reflexivity fails. It is transitive and (vacuously) antisymmetric, and every distinct pair is comparable.

Study Discrete mathematics in ZWMath →

Review the concept: Partial order relation

A relation \(\preceq\) on a set \(S\) that is reflexive, antisymmetric and transitive, and therefore orders some pairs of elements of \(S\).

\[a\preceq a;\quad (a\preceq b\ \wedge\ b\preceq a)\Rightarrow a=b;\quad (a\preceq b\ \wedge\ b\preceq c)\Rightarrow a\preceq c\]

More practice problems: partial order relation

← ZW-PARTIAL-ORDER-RELATION-004 ZW-PARTIAL-ORDER-RELATION-006 →