Formalmente, dado un hipergrafo "H" definido sobre un conjunto base "A", la transversal de "H" es el operador definido como: