jˈesɭʲɪ rʌssmʌtrʲˈetʲ nʲˈekʌtʌrʌjɪ pʌdmnˈoʒystvʌ mnˈoʒystva , tˈo nə ˈɛtʌm mnˈoʒystvʲi, jɪsʲtʲˈɛstvʲinnym ˈobrʌzʌm, ɪndutsˈyrujitsʌ tʌpʌɭˈoɡʲija , kʌtˈoruju sʌstavɭʲˈɑjut fsʲivʌzmˈoʒnyjɪ pʲirʲisʲitʃʲˈenʲija mnˈoʒystva s mnʌʒˈɛstvʌmʲɪ, fxʌdʲˈɑɕimʲɪ f tʌpʌɭˈoɡʲiju .
Если рассмотреть некоторое подмножество  множества , то на этом множестве, естественным образом, индуцируется топология , которую составляют всевозможные пересечения множества  с множествами, входящими в топологию .