Go backward to Quasi OrderGo up to TopGo 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.

forallS,<=:<=is partial order onS=><is quasi order onS

*Proof:* exercise.

Author: Wolfgang Schreiner

Last Modification: January 18, 2000