عديد

على سبيل التعريف، في الرياضيات، العديد هو متتالية منتهية أو قائمة مرتبة من الأعداد أو عمومًا، كائنات رياضية، تسمى عناصر المجموعة. العديد النوني هي مجموعة من n عنصر، حيث n هو عدد صحيح غير سالب. يوجد عديد صفري واحد فقط، يسمى العديد الخالي. عادةً ما يسمى العديد الواحدي والعديد الثنائي بالمجموعة الأحادية والزوج المرتب على الترتيب. يُستعمل مصطلح "العديد اللانهائي" أحيانًا للإشارة إلى "المتتاليات اللانهائية". وتعرض الأقسام التالية جوانب أخرى من الموضوع.

في هذا الإطار، يُعرَّف العديد النوني بأنه صورة لدالة يكون منطلقها أول (n) عدداً من مجموعة الأعداد الطبيعية. يمكن كذلك تعريف العدائد من أزواج مرتبة من خلال عوديًا يبدأ من أزواج مرتبة؛ في الواقع، يمكن تحديد عديد نوني من خلال الزوج المرتب لعناصره (n − 1) الأولى وعنصره رقم n.

كذلك، للعدائد أشكال عديدة في علم الحاسوب. تنفذ أغلب لغات البرمجة الدالية المصنفة العدائد مباشرةً بصفتها ، وترتبط ارتباطًا وثيقًا ومطابقة الأنماط وإسناد تفكيك البنية. تقدم الكثير من لغات البرمجة بديلاً للعدائد، والمعروفة باسم ، والتي تتميز بعناصر غير مرتبة يمكن الوصول إليها عن طريق اللُّصاقة. تجمع بعض لغات البرمجة بين أنواع جداءات العدائد المرتبة وأنواع السجلات غير المرتبة في لَبِنَة واحدة، كما هو الحال في وسجلات هاسكل (Haskell). قد تحدد قواعد المعطيات العلائقية شكليًا صفوفها (سجلاتها) على أنها عدائد.