Dobro uređen skup je svaki onaj totalno uređen skup A za koji vrijedi da mu svaki podskup ima minimalni element. Osnovni primjer ove vrste skupa je skup prirodnih brojeva. [1]
Svaki dobro uređen skup je i dobro utemeljen, ali ne vrijedi obrat.[2]
Izvori
- ↑ Prirodoslovno matematički fakultet u Zagrebu Ivan Krijan: Skupovi, Zagreb: Sveučilište u Zagrebu, str. 1. (pristupljeno 4. kolovoza 2019.)
- ↑ Prirodoslovno matematički fakultet u Zagrebu Mladen Vuković: Teorija skupova; Zagreb: Sveučilište u Zagrebu, siječanj 2015. str. 55.