Say that a set is stationary if it has nonempty intersection with every subset of . Suppose that there is an injection from into . Show that every stationary subset of can be split into two disjoint subsets of .
Notation: denotes the first uncountable ordinal. We may us the Countable Principle of Choice, but not the Axiom of Choice.