Set Theoretic Topology

← Back to Domain-Specific Abstractions by Domain

3 domain-specific abstractions whose origin domain is Set Theoretic Topology.

• Menger space — A topological space in which, from every sequence of open covers, finitely many sets can be selected from each cover so that all selected sets together still cover the space.
• Parovicenko space — A compact Hausdorff space of continuum weight satisfying characteristic separation and interior conditions modeled on the Stone–Čech remainder of the integers.
• Topological game — An infinite perfect-information game on a topological space whose moves are points, sets or covers and whose winning condition encodes a topological property.