For a finite set and an infinite set lying above , putThese sets form the basic neighborhoods of the Ellentuck topology, also called the star topology. It is finer than the ordinary topology on infinite subsets. Every basic neighborhood is a clopen set in the Ellentuck topology, and a closed set in the ordinary topology.
New to topics? Read the docs here!