previous up next
Go backward to Quasi Order
Go up to Top
Go forward to Quasi Orders and Anti-Symmetry
RISC-Linz logo

Quasi Order from Partial Order

Proposition: Let <= be a partial order. Then the relation < defined as

x < y : <=> x <= y /\  x != y.
is a quasi-order:
forall S, <= : <= is partial order on S =>
   < is quasi order on S

Proof: exercise.

Author: Wolfgang Schreiner
Last Modification: January 18, 2000

previous up next