Formalmente, dado un hipergrafo "H" definido sobre un conjunto base "A", el crítico de "H" es el operador definido como: