رسم زائدي  في الرياضيات، المخطط الزائدي أو الرسم الزائدي هو تعميم لمفهوم الرسم البياني أو المخطط والذي كل ضلع فيه يحتوي على عدد من الرؤوس. بصيغة رياضية، الرسم الزائدي formula_1 هو الزوج المرتب formula_2 حيث formula_3 هي مجموعة من العناصر التي تسمى رؤوس، والمجموعة formula_4 هي مجموعة غير خاليه جزئيه من formula_5. عناصر المجموعة formula_6 تسمى أضلاع زائديه أو أضلاع. بالتالي formula_4 هي مجموعة غير خاليه من مجموعة القوه formula_8. حجم مجموعة الرؤوس يسمى رتبة الرسم الزائدي بينما حجم مجموعة الاضلاع يسمى حجم الرسم الزائدي.  في حين أن أضلاع الرسم البياني يحتوي على عنصرين فقط من مجموعة الرؤوس، الأضلاع الزائدية هي مجموعات مختارة من الرؤوس، ومن الممكن أن تحتوي على أي عدد من الرؤوس. لكن الغالب يرغب بدراسة الرسوم الزائديه التي كل أضلاعها تحتوي على نفس العدد من الرؤوس. الرسم الزائدي ذو أضلاع موحدة السعة formula_9 ("k"-uniform hypergraph) هو الرسم الزائدي الذي كل ضلع زائدي به formula_9 من الرؤوس، أو بمعنى آخر هو الرسم الزائدي الذي أضلاعه الزائدية هي مجموعات بها formula_9 من الرؤوس. فبالتالي، الرسم الزائدي ذو اضلاع سعتها 2 هو الرسم البياني المعروف، والرسم الزائدي ذو الاضلاع الموحدة بسعة 3 هو مجموعة من المجموعات الثلاثية، أي بها 3 عناصر. الرسم الزائدي يسمى أيضاً بنظام المجموعة أو عائلة من المجموعات والمستوحاة من مجموعة شاملة.  الرسومات الزائدية يمكن اعتبارها كهياكل الوقوع (). وبصورة خاصة، يوجد مخطط وقوع ثنائي التجزئة (incidence graph" or ) مقابل كل رسم زائدي. بالمقابل، ليس كل الرسومات البيانية الثنائية التجزئة يمكن اعتبارها كرسومات وقوع لرسومات زائدية.  المخططات الزائدية لها مسميات عديدة. ففي الهندسة الحاسوبية يسمى المخطط الزائدي في بعض الاحيان بـ range space وبالتالي أضلاعه الزائدية تسمى "ranges". تسمى الرسوم الزائديه في نظرية اللعب التعاوني بالألعاب البسيطة وينطبق نفس المسمى لحل المشاكل في نظرية الإختيار الإجتماعي. تسمى الأضلاع الزائدية في بعض الدراسات بالروابط الزائدية (hyperlinks) أو موصلات (connectors).  يوجد أنواع خاصة من الرسومات الزائدية والمصنفه حسب سعة الأضلاع الزائديه بها. فمثلا الرسم الزائدي من السعة formula_9 كما وضح أعلاه. ورسم زائدي اخر يسمى والذي به كل ضلع زائدي ليس محتوى بأي ضلع زائدي آخر بنفس الرسم الزائدي. بالمقابل، الرسومات الزائديه التي تحتوي على كل المجموعات الجزئية من أي ضلع زائدي بها تسمى بـ .   يوجد عدة مصطلحات للمصطلح المقابل لـ الرسم الجزئي في الرسم الزائدي لأن أضلاع الرسم الزائدي ممكن أن تحتوي على أي عدد من الرؤوس. من هذه المسميات يعرف بالرسم الزائدي الثانوي (subhypergraphs) والرسم الزائدي الجزئي (partial hypergraphs) و section hypergraphs وسيتم تعرف كل من هذه المصطلحات كما موضح أدناه.  formula_18  حيث formula_19 و formula_20 هما مجموعتي الترميز للرؤوس والأضلاع على التوالي.  الرسم الزائدي الثانوي (subhypergraphs) من الرسم الزائدي formula_21 هو رسم زائدي مأخوذ من formula_21 مع حذف بعض الرؤوس. بصيغة رياضية، الرسم الزائدي الجزئي formula_23 المولد بواسطة formula_24 معرف كالآتي:  formula_25  توسعة (extension) الرسم الزائدي الثانوي هو رسم زائدي حيث كل ضلع من formula_21 هو محتوى جزئيا بالرسم الزائدي الثانوي formula_23 ومحتوى كليا في التوسعة formula_28 . رياضيا:  formula_29 حيث formula_30 و formula_31 .  الرسم الزائدي الجزئي هو رسم زائدي من مع حذف بعض الآضلاع الزائديه. بصيغه رياضية، ليكن formula_32 مجموعة جزئية من مجموعة ترميز الآضلاع٫ الرسم الزائدي الجزئي المولد بالمجموعة formula_33 هو رسم زائدي formula_34.  لتكن formula_35 مجموعة معطاه، يعرف section hypergraph بآنه رسم زائدي جزئي معرف كالتالي:  formula_36.  الرسم الزائدي المزدوج (dual hypergraph) formula_37 للرسم الزائدي formula_21 هو رسم زائدي مجموعة رؤوسه هي formula_39 وآضلاعه معطى بالمجموعة formula_40 حيث formula_41.  لاحظ آن الرسم الزائدي المزدوج لـ formula_37 هو formula_21 ٫ آي آن formula_44. يمكن تمثيل آي رسم زائدي formula_21 برسم ثنائي التجزئة formula_46 كما يلي: المجموعات formula_5 و formula_6 تمثل تجزئات لـ formula_46 و formula_50 هو ضلع في formula_46إذا وفقط إذا كان كل رأس formula_52ينتمي للضلع الزائدي formula_53 في formula_21 . بالمقابل ليس كل رسم ثنائي تجزئة تمثل رسم زائدي. يسمى هـذا الرسم الثنائي ب .  يوجد عدة مصطلحات غير متكافئة للرسومات الزائديه بدون دورات ٫ بعكس الرسم الغير موجه والذي به تعريف موحد للدورات وللرسومات بدون دورات.  عرف العالم بيرج () آول تعريف للرسومات الزائديه بدون دورات: يكون الرسم الزائدي هو رسم خالي من الدورات إذا كان رسم الوقوع المقابل له لايحتوي على أي دورة. هذا التعريف يعتبر محدود جداً٫ فعلى سبيل المثال إذا كان الرسم الزائدي يحتوي على زوج من الرؤوس المختلفة formula_55 وزوج من الآضلاع الزائديه المختلفة formula_56 بحيث آن formula_57 و formula_58 فإنه يمكن اختبار انه لايحتوي على دوره بزمن خطي بواسطة رسم الوقوع له.يوجد تعريف آخر المسمى ب α-acyclicity آضعف ومختلف من تعريف بيرج.  يمكن بزمن خطي تحديد ماإذا كان أي رسم زائدي هو α-acyclicity.   رسوم زائدي هو داله من مجموعة رؤوس رسم زائدي إلى مجموعة رؤوس رسم زائدي آخر بحيث كل ضلع هو صوره لضلع بالرسم الزائدي المقابل.  الرسم الزائدي formula_16 هو للرسم الزائدي formula_60 ونكتب formula_61 إذا كان يوجد تقابل formula_62 وتبديله formula_63 لـ formula_64 بحيث آن formula_65 . بالتالي تسمى دالة التقابل formula_66 في هذه الحالة بتشاكل احادي للرسومات. لاحظ ان formula_67 إذا وفقط إذا كان formula_68.  ليكن لدينا الرسم الزائدي formula_21 والذي مجموعة أضلاعه formula_70حيث  formula_71.والرسم الزائدي formula_72 والمعرف بمجموعة أضلاعه formula_73 حيث  formula_74.  بالتالي فإن الرسمين الزائدين formula_21 و formula_72 متشاكلان حيث الدالة formula_66 معرفه كالتالي:  formula_78.  هذين الرسمين متشاكلان لكن ليس تشاكل قوي (strongly isomorphic) لأنه يوجد رأس formula_79 في formula_21 ينتمي للأضلاع formula_81 أي أن formula_82  لكن لايوجد رأس في formula_72بحيث ينتمي للأضلاع formula_81 لأن formula_85.  في هذا المثال الرسمين الزائدين formula_21 و formula_72 متكافئين ونكتب في هذه الحالة formula_88 . أيضا رسومهم المزدوجه متشاكله٫ أي أن formula_89.  رتبة (rank) رسم زائدي formula_21 ويرمز له بالرمز formula_91 هو أكبر سعة لآي من اضلاع الرسم الزائدي. يسمى الرسم الزائدي الذي كل ضلع فيه يحتوي على نفس العدد من الرؤوس مساوي للعدد formula_92 بالرسم الزائدي الموحد السعه formula_92٫ ويسمى أيضا hypergraph-formula_92. بالتالي فإن الرسم هو عباره عن رسم زائدي من السعه formula_95 .  درجة الرآس formula_96 ويرمز له بالرمز formula_97 هي عدد الاضلاع التي تحتوي على هذا الرآس. يسمى الرسم الزائدي بمنتظم من الدرجة formula_92 (regular-formula_92) إذا كان درجة كل رآس فيه تساوي formula_92 .  الرسم الزائدي المزدوج لرسم زائدي موحد السعه هو منتظم والعكس صحيح.  يٍُعرف قاطع رسم زائدي formula_16 بالمجموعة formula_102 التي تتقاطع مع كل ضلع في formula_21 بمجموعه غير خالية من الرؤوس. يطلق على formula_104 بآنه القاطع الآصغر إذا كان لايوجد أي مجموعه جزئيه فعليه من formula_104وتمثل قاطع. الرسم الزائدي القاطع (transversal hypergraph) للرسم الزائدي formula_21هو رسم زائدي formula_107 والذي مجموعة آضلاعه formula_108 تحتوي على كل القواطع الصغرى لـ formula_21.  يوجد تطبيقات لحساب الرسم الزائدي القاطع في امثلة التراكيب وفي نظرية الألعاب وفي عدة فروع من علوم الحاسب على سبيل المثال في التعلم الألي وفهرسة قواعد البيانات وتنقيب البيانات وأمثلية البرمجيات و.  لتكن formula_110 مجموعة الرؤوس و formula_111 مجموعة الآضلاع الزائديه. كل رسم زائدي له formula_112 من النوع formula_113 حيث:  يمثل منقول مصفوفة الوقوع formula_115 الرسم الزائدي المزدوج formula_116 لـ formula_21.  في تلوين الرسم الزائدي التقليدي٫ يتم تعيين لون واحد من ألوان المجموعة لكل رأس بالرسم الزائدي بحيث أن أي ضلع زائدي يحتوي على الأقل رأسين بألوان مختلفه. بمعنى آخر، لايمكن الحصول على ضلع بلون واحد فقط وبه على الأقل رأسين. هذا التعريف هو تعميم مباشر لتلوين الرسومات. يسمى أصغر عدد من الألوان المختلفه والممكن استخدامها بتلوين رسم زائدي يسمى بـ chromatic number للرسم الزائدي.  الرسومات الزائديه التي يوجد بها عالأكثر formula_92من الألوان تُلقب بـ k-colorable. الرسومات الزائديه ثنائي التلوين (2-colorable) هي رسوم زائديه ثنائية التجزئة.  يوجد العديد من التعاريف والتي تعمم مسألة تلوين الرسوم الزائديه. أحد هذه التعاريف التي تسمى بمسألة تلوين مختلط للرسم الزائدي (mixed hypergraph coloring) والتي تسمح بوجود أضلاع موحدة اللون. يوجد رسوم زائديه غير قابله للتلوين لأي عدد من الألوان. بمسألة التلوين المختلط وعندما يكون الرسم الزائدي قابل للتلوين فإن أصغر وأكبر عدد مستخدم من الألوان تُعتبر على التوالي حد سفلي وعلوي لـ chromatic number .