If you do not find what you're looking for, you can use more accurate words.
في الرياضيات، تكون مجموعة ما مجموعة منتهية إذا وجدت علاقة تقابل بين المجموعة ومجموعة أخرى لها الشكل {1, 2, ..., n} حيث n هو عدد طبيعي. على سبيل المثال، المجموعة
هي مجموعة منتهية عدد عناصرها خمسة. يسمح بأن تكون قيمة n = 0 وذلك لأن المجموعة الخالية هي مجموعة منتهية.
يُقال عن مجموعة ما S، أنها منتهية إذا وُجد تقابل
حيث n عدد طبيعي معلوم ما. إذا كانت مجموعة ما منتهية، فقد يكتب عناصرها كمتتالية كما يلي: