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

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

$\{2,4,6,8,10\}$

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

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

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

$f:S\to \{1,\dots ,n\}$

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

$S=\{x_1,x_2,\dots ,x_n\}.$

انظر أيضًا

• رقم ترتيبي

مراجع

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