ComputerScienceMathOrderTheory A partial ordering on a set is a binary relation that is Reflexive: Antisymmetric: Transitive: