Template:Definition
{{proposition|series order induced by total orders is total|Whenever A is a totally ordered set
Template:Proposition
Template:Proof
Template:BookCat