Talk:Covering lemma

re covering property

 * "for every uncountable set x of ordinals, there is y such that y⊃x, y has the same cardinality as x,"

I may be missing something, but shouldn't this specify instead "the same cardinality as the largest members of x"? Consider the set ω₁∪{ω₂}. This is an uncountable set of ordinals of cardinality ℵ₁+1 = ℵ₁, and yet no ordinal smaller than ω₂+1 will contain every member of this set. -- Trɔpʏliʊm • blah 12:18, 29 October 2017 (UTC)