Um hipergrafo é um par $(V,E)$ de conjuntos disjuntos, onde os elementos de $E$ são subconjuntos não vazios (de qualquer cardinalidade) de $V$. Assim, grafos são hipergrafos especiais.