Hypergraph container
= Hypergraph container
{title2=$I\subseteq C\in\mathcal C$}
A container family is a collection of vertex subsets such that every <hypergraph independent set> lies in at least one member. A useful family has few members and each member is small in <hypergraph degree measure> or induces few hyperedges. <Container fingerprints> encode the members and permit bounds on the number of independent sets.