Formalmente, dado un hipergrafo formula_1, definido sobre un conjunto base formula_2, una hiperarista se define como un conjunto formula_3.