Λήμμα του Τσορν

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Το λήμμα του Τσορν, από τους μαθηματικούς Μαξ Άουγκουστ Τσορν και Καζίμιεζ Κουρατόφκι, είναι ένα αποδεικτικό εργαλείο που εξυπηρετεί παρόμοιες ανάγκες όπως η Μαθηματική επαγωγή. Το λήμμα διατυπώνει ότι ένας μερικώς διατεταγμένος χώρος, με κάθε αλυσίδα του (δηλαδή κάθε πλήρως διατεταγμένο υποσύνολό του) να έχει άνω φράγμα, τότε έχει μεγιστικό στοιχείο.