ცორნის ლემა
ვიკიპედიიდან
ცორნის ლემა - მდგომარეობს შემდეგში:
ნებისმიერი ნაწოლობრივ დალაგებული სიმრავლე რომლის ნებისმიერ წრფივად დალაგებულ ქვესიმრავლეს გააჩნია ზედა ზღვარი შეიცავს ერთ მანიც მაქსიმალური ელემენტს.
სიმრავლეთა თეორიაში ცორნის ლემა ეკვივალენტურია ამორჩევის აქსიომის და თვითონაც შეიძლება მიღებული იქნას როგორც აქსიომა.