En teoría de hipergrafos y combinatoria, la transversal de un hipergrafo "H" definido sobre un conjunto base "A", es el hipergrafo "τ(H)" conformado por los subconjuntos de "A" que intersecan a todas las hiperaristas de "H".