Every Σ 1 0 {\displaystyle \Sigma _{1}^{0}} subset of Baire space or Cantor space is an open set in the usual topology on the space.
Сваки Σ 1 0 {\displaystyle \Sigma _{1}^{0}} подскуп Беровог простора или Канторовог простора је отворен скуп у уобичајеној топологији простора.