strict total order

1. REDIRECT Total_order#Strict_and_non-strict_total_orders

{{Redirect category shell|

{{R to section}}

{{R from subtopic}}

}}