Totalno uređen skup
Izvor: Hrvatska internetska enciklopedija
Totalno (linearno) uređen skup je skup A ako za svakih dvaju elemenata iz tog skupa vrijedi (≤) na A za koju vrijedi [math]\displaystyle{ x \leq y }[/math] ili [math]\displaystyle{ y \leq x }[/math][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.)