Sea el hipergrafo formula_4 definido sobre el conjunto base formula_5, entonces los tres conjuntos formula_6, formula_7 y formula_8 son hiperaristas de H.