[Math] Preorders vs partial orders – Clarification

elementary-set-theoryorder-theory

  • A binary relation is a preorder if it is reflexive and transitive.
  • A binary relation is a partial order if it is reflexive, transitive and antisymmetric.

Does that mean that all binary relations that are a preorder are also automatically a partial order as well?

In other words is a binary relation a preorder if its only reflexive and transitive and nothing else?

Thanks for your help.

Best Answer

You have it backwards - every partial order is a preorder, but there are preorders that are not partial orders (any non-antisymmetric preorder).

For example, the relation $\{(a,a), (a, b),(b,a), (b,b)\}$ is a preorder on $\{a, b\}$, but is not a partial order.

Related Question