Toda hiperarista es un subconjunto del conjunto base sobre el cual se define un hipergrafo.