Totalno, potpuno ili linearno uređen skup je skup A ako za svakih dvaju elemenata iz tog skupa vrijedi (≤) na A za koju vrijedi ili Prirodoslovno matematički fakultet u Zagrebu Ivan Krijan: Skupovi, Zagreb: Sveučilište u Zagrebu, str. 1.-2. (pristupljeno 4. kolovoza 2019.)
Ako je u nekom parcijalno uređenom skup podskup totalno uređen nazivamo ga lancem. Ako za svaki podskup nekog totalno uređena skupa ima minimalni element taj skup je dobro uređen skup. Svaki totalno uređen skup sadrži kofinalan dobro uređen skup.
Izvori
Kategorija:Teorija skupova