Ordinary topology on infinite subsets ($\tau$)

The ordinary topology on $[\mathbb{N}{]}^{\omega }$ has basic sets $[s]=\{X:s⊏X\}$ for finite $s$. It is the product topology on increasing enumerations, and also the subspace topology on infinite-subset indicator functions in $\{0,1{\}}^{\mathbb{N}}$.