Exercise · ZW-PARTIAL-ORDER-RELATION-002 · ★☆☆ Basic

Which partial-order property fails for \(R=\{(1,1),(2,2),(1,2),(2,1)\}\) on \(\{1,2\}\)?

Choose one option.

Show answer
  • B. Antisymmetry

Explanation

It contains \((1,2)\) and \((2,1)\) with \(1\ne2\), so it is not antisymmetric. It is reflexive and transitive.

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-001 ZW-PARTIAL-ORDER-RELATION-003 →