Totalno uređen skup
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 [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
uredi- ↑ a b c d Prirodoslovno matematički fakultet u Zagrebu Arhivirana inačica izvorne stranice od 4. kolovoza 2019. (Wayback Machine) Ivan Krijan: Skupovi, Zagreb: Sveučilište u Zagrebu, str. 1.-2. (pristupljeno 4. kolovoza 2019.)