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