Go backward to Antisymmetry
Go up to Top
Go forward to Irreflexivity
Definition: A binary relation on S is a partial order, if it is reflexive, antisymmetric, and transitive:
R is partial order on S : <=> R subset S x S /\ R is reflexive on S /\ R is antisymmetric on S /\ R is transitive on S.