Totalno uređen skup

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]

IzvoriUredi

  1. a b c d Prirodoslovno matematički fakultet u ZagrebuInačica izvorne stranice arhivirana 4. kolovoza 2019. Ivan Krijan: Skupovi, Zagreb: Sveučilište u Zagrebu, str. 1.-2. (pristupljeno 4. kolovoza 2019.)