Definition:Ordering/Partial vs. Total