Definition:Strict Ordering/Partial vs. Total