Definition
Algorithm:
Greedy-Set-Cover(X, F) U = X ; uncovered C = {} while U {} select S F maximizing U = U - S C = C {S} return C
Corollary 37.5
Greedy-Set-Cover has a ratio bound of (lnx + 1).
Proof in book.