Изменения

  {{Определение|definition = '''Гипергра́фГиперграфом''' <tex>H = (X, U; R)</tex> называется пара множеств <tex>X = \{x_i / i \in I\}</tex>, <tex>U = \{u_j / j \in J\}</tex> вместе с двуместным предикатом <tex>R \Leftrightarrow R(x, u)</tex>, определенным при всех <tex>x \in X</tex>, <tex>u \in U</tex>, где  <tex>x \in X</tex> — вершины; <tex>u \in U</tex> — ребра; предикат <tex>R</tex> — ''инцидентор'' гиперграфа <tex>H</tex>. Под элементом гиперграфа будем понимать его вершину или ребро, т. е. любой элемент множества <tex>X \cup U</tex>. }}'''Гиперграф''' — такое обобщение неориентированного графа, в котором каждым ребром когда ребрами могут соединяться служить произвольные подмножества заданного множества вершин, а не только две вершины, но двухвершинные и любые подмножества вершинодно­вершинные.