Formalmente, se puede definir un problema de cobertura de conjuntos de la siguiente forma: