A Ramsey-style extension of a theorem of Erdős and Hajnal
If n, t are natural numbers, μ is an infinite cardinal, G is an n-chromatic graph of cardinality at most μ, then there is a graph X with , |X| = μ⁺, such that every subgraph of X of cardinality < t is n-colorable.