Go backward to Quasi Order
Go up to Top
Go forward to Quasi Orders and Anti-Symmetry
Proposition: Let <= be a partial order. Then the relation < defined as
is a quasi-order:
x < y : <=> x <= y /\ x != y.
forall S, <= : <= is partial order on S => < is quasi order on S