در نظریه ابتدایی مجموعه ها، قضیه کاتیون بیان می دارد که مجموعه توانی(مجموعه تمام زیرمجموعه ها) مجموعه A، کاردینالیتی(اندازه) اکیداً بزرگتری از خود مجموعه A دارد. قضیه کانتور برای مجموعه های متناهی صادق است، اما به طور خیلی جالب برای مجموعه های نامتناهی نیز صادق است. این نظریه به نام جرج کانتور، کسی که آن را اثبات کرده است، به ثبت رسیده است.کانتور-بمستیر-شرودر تئوریf یک تابع از A به مجموعه توانی A ...