Order Theory/Total orders

From testwiki
Jump to navigation Jump to search

Template:Definition

{{proposition|series order induced by total orders is total|Whenever A is a totally ordered set

Template:Proposition

Template:Proof

Template:BookCat