Ramsey set of infinite subsets (source code)

= Ramsey set of infinite subsets
{c}

A set $E\subseteq[\mathbb N]^\omega$ is Ramsey if every infinite $A$ has an infinite subset $B$ such that $[B]^\omega\subseteq E$ or $[B]^\omega\cap E=\varnothing$.