The set cover problem, also called the minimum cover problem, asks whether a finite set has a set cover with at most members from a given collection of its subsets. Such a set cover
is a subcollection
satisfying
Its optimization version asks for a set cover of minimum cardinality.