ცორნის ლემა

ცორნის ლემა (იგივე კურატოვსკი–ცორნის ლემა) ყალიბდება შემდეგნაირად:

ყოველი ნაწილობრივ დალაგებული სიმრავლე, რომლის ნებისმიერ სრულად დალაგებულ ქვესიმრავლეს გააჩნია ზედა ზღვარი, შეიცავს ერთ მაინც მაქსიმალურ ელემენტს.

სიმრავლეთა თეორიაში ცორნის ლემა ეკვივალენტურია ამორჩევის აქსიომის, ანუ შესაძლებელია განხილულ იქნას ამ აქსიომის შემცვლელ აქსიომად.