Space of infinite subsets of the natural numbers

ID: space-of-infinite-subsets-of-the-natural-numbers

The space , also written , consists of all infinite subsets of the positive integers. An element is identified with its strictly increasing enumeration. If is finite, write when is the finite initial segment of this enumeration.

New to topics? Read the docs here!