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. Formalmente, dado un hipergrafo H definido sobre un conjunto base A, la transversal de H es el operador definido como: Note que τ(H) es subconjunto del conjunto potencia del conjunto base, P(A). El conjunto transversal de una estructura de hipergrafos G:=(H,K) se define como: y no τ(G):=(τ(K),τ(H)) como se podría pensar. Esto debido a que el operador transversal es antítono.