Definition:Reflexive Partial Ordering