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

If \(\preceq\) is a partial order with \(a\preceq b\) and \(b\preceq a\), what follows?

Choose one option.

Show answer
  • A. \(a=b\)

Explanation

That is exactly antisymmetry.

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