previous up next
Go backward to Quasi Order from Partial Order
Go up to Top
Go forward to Example
RISC-Linz logo

Quasi Orders and Anti-Symmetry

Proposition: Every quasi order is antisymmetric:

forall S, < : < is quasi order on S =>
   < is antisymmetric on S.

Proof: Take arbitrary S and quasi order < on S. Assume there exist x in S and y in S with x != y such that x < y and y < x. By transitivity, we have x < x which contradicts the irreflexivity of < .

Only difference between partial orders and quasi orders is reflexivity versus irreflexivity.

Author: Wolfgang Schreiner
Last Modification: January 18, 2000

previous up next