Both and satisfy the condition. For an arbitrary intersection of members, either every member contains , in which case the intersection contains , or one does not, in which case that member is countable and so is the intersection. The empty intersection is .
For a finite union, either a member contains , so the union does too, or all members omit and are countable, so their finite union is countable. Thus the closed set axioms hold and define a topology. This is a Fortissimo space: every point other than is isolated, while the open neighbourhoods of have countable complement.

Articles by others on the same topic (0)

There are currently no matching articles.