Αξίωμα της επιλογής: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Αντικατάσταση παρωχημένου προτύπου με references tag |
→Ισοδύναμα: Διόρθωση στη διατύπωση Λήμματος του Zorn |
||
Γραμμή 127:
* [[θεώρημα διάταξης]]
** [[Λήμμα του Zorn]]: Κάθε μη κενό μερικώς διατεταγμένο σύνολο στο οποίο κάθε [[αλυσίδας|αλυσίδα]] του (δηλαδή ολικά διατεταγμένο
** [[Hausdorff μέγιστη αρχή]]: Σε κάθε μερικώς διατεταγμένο σύνολο, κάθε πλήρως διατεταγμένο υποσύνολο περιέχεται σε ένα μέγιστο πλήρως διατεταγμένο υποσύνολο. Η περιορισμένη αρχή "Κάθε μερικώς διατεταγμένο σύνολο έχει μέγιστο πλήρως διατεταγμένο υποσύνολο" είναι επίσης ισοδύναμο με AC πάνω στο ZF.
** [[Λήμμα Τακεν'δ]]: Κάθε μη κενή συλλογή [[πεπερασμένου χαρακτήρα]] έχει μέγιστο στοιχείο όσον αφορά την ένταξη.
|