Partial And Total Ordering