Go backward to Quasi Order Go up to Top Go forward to Quasi Orders and Anti-Symmetry

Quasi Order from Partial Order

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

x < y : <=> x <= y /\  x != y.

forall S, <= : <= is partial order on S =>

< is quasi order on S

Proof: exercise.