tsypˈotʃʲka, nʌtʃʲinˈɑjuɕʌjasʲʌ s prʌizvˈoɭnʌvʌ mnˈoʒystva, kˈɑʒdyj pʌsɭʲˈedujuɕij tʃʲɭʲˈen kʌtˈorʌj javɭʲˈɑjitsʌ ɛɭʲimʲˈentʌm prʲidydˈuɕivʌ, fsʲiɡdˈɑ tʃʲˈerʲis kʌnʲˈeʃnʌjɪ tʃʲisɭˈo ʃaɡˈov zʌvʲirʃˈɑjitsʌ pustˈym mnˈoʒystvʌm ˌɛsˈɛm. aksʲiˈomu rʲiɡuɭʲˈɑrnʌsʲtʲɪ.
-цепочка, начинающаяся с произвольного множества, каждый последующий член которой является элементом предыдущего, всегда через конечное число шагов завершается пустым множеством (см. аксиому регулярности).