Formalmente, dado un conjunto finito "A" llamado "conjunto base", un hipergrafo "H" es una familia de subconjuntos de formula_1; es decir, un subconjunto de formula_2, que es el conjunto potencia de formula_1.