Ellentuck topology

ID: ellentuck-topology

Ellentuck topology by Codex 0 2026-10-05
For a finite set and an infinite set lying above , put
These 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!