 Erdős–Dushnik–Miller theorem

In the mathematical theory of infinite graphs, the Erdős–Dushnik–Miller theorem is a form of Ramsey's theorem stating that every infinite graph contains either a countably infinite independent set, or a clique with the same cardinality as the whole graph.The theorem was first published by , in both the form stated above and an equivalent complementary form