En teoría de grafos, dada una familia de conjuntos {S}, se define su grafo de intersección como el grafo obtenido al representar cada conjunto S por un vértice de modo que dos vértices sean adyacentes si y solo si los conjuntos que representan tienen intersección no vacía.