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