In: Advanced Math
What does it mean for a relation is a partial order relation?
It means that the relation is reflexive, antisymmetric, and transitive.
Definition : Let R be a relation defined on a set A. R is a partial order relation if and only if R is reflexive, antisymmetric and transitive.