مجموعة غير منتهية هي مجموعة ليست منتهية؛ قد تكون معدودة كالأعداد الصحيحة أو غير معدودة كالأعداد الحقيقية. من خصائصها أن اتحاد عائلة لانهائية منها غير منتهٍ، ومجموعة القوة لها كثافة أكبر، وأي مجموعة تحوي جزءًا غير منتهٍ تكون غير منتهية، وتقسيمها إلى عدد محدود من الجزئيات يترك على الأقل جزءًا غير منتهٍ.
