Hiperárbol
# Hiperárbol

En ciencias de la computación, un hipergrafo H es un hiperárbol, si existe un árbol T tal que cada hiperarista de H induce un subárbol en T.

Dado que los árboles son a su vez hiperárboles, estos últimos pueden ser vistos como una generalización de la noción de árbol para hipergrafos. Cualquier hiperárbol es isomorfo a alguna familia de subárboles de un árbol.

## Propiedades

Un hiperárbol posee la propiedad de 2-Helly, que indica lo siguiente: si dos hiperaristas de un subconjunto de sus hiperaristas tiene un vértice en común, entonces todas las hiperaristas del subconjunto tienen un vértice común.

