Stationary nonclosed member of the club filter

ID: stationary-nonclosed-member-of-the-club-filter

For any regular uncountable cardinal number , the set contains the final-segment club set , so belongs to the club filter and is a stationary set. It is not closed, since its finite ordinals have supremum , which is missing.

New to topics? Read the docs here!