Definition:Weak Partial Ordering