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