مبرهنة كمنور هي مبرهنة رياضية, في مجال نظرية المجموعات, المنسوبة ل الرياضي جورج كنتور.
بين كنتور أن, كل مجموعة E, رئيسي ل E دائما أصغر قطعا من رئيسي مجموعة أجزاءE.
عندما تكون E مجموعة منتهية, النتيجة منطقية لأن رئيسي E هو عدد العناصر في E و, إذا كان E يضم n عنصرا, نبين أن مجموعة أجزاء E يضم 2n عنصرا. أي أنه يحقق ، لكل عدد طبيعي n, n < 2n.