Definition:Weak Total Ordering