مجموعة منتهية

في الرياضيات، تكون مجموعة ما مجموعة منتهية إذا وجدت علاقة تقابل بين المجموعة ومجموعة أخرى لها الشكل {1, 2, .[1][2][3].., n} حيث n هو عدد طبيعي. على سبيل المثال، المجموعة

هي مجموعة منتهية عدد عناصرها خمسة. يسمح بأن تكون قيمة n = 0 وذلك لأن المجموعة الخالية هي مجموعة منتهية.

التعريف والمصطلحات المستعملة

يُقال عن مجموعة ما S، أنها منتهية إذا وُجد تقابل

حيث n عدد طبيعي معلوم ما. إذا كانت مجموعة ما منتهية، فقد يكتب عناصرها كمتتالية كما يلي:

انظر أيضًا

مراجع

  • Patrick Suppes, Axiomatic Set Theory, D. Van Nostrand Company, Inc., 1960