Go backward to AntisymmetryGo up to TopGo forward to Irreflexivity |

*Definition:* A binary relation on `S` is a *partial
order*, if it is reflexive, antisymmetric, and
transitive:

Ris partial order onS: <=>RsubsetSxS/\Ris reflexive onS/\Ris antisymmetric onS/\Ris transitive onS.

*Example:*

- subset is a partial order on
**P**(`S`), for every set`S`. - | (divides) is a partial order on
**N**.

Author: Wolfgang Schreiner

Last Modification: January 18, 2000