Билдәһеҙ дәүмәлде эҙләү мәсьәләһе символик рәүештә  күренешендә яҙыла. Иҫәпләү математикаһында -ты табыу өсөн, иҫәпләүҙәр уңайлыраҡ булһын өсөн ,  дәүмәлдәре, йәки  функциялары бирелгән бер йәки бер нисә арауыҡты алмаштырыу ҡулланыла. Барлыҡҡа килгән яңы  мәсьәләһенең сығарылышы баштағы мәсьәләнең сығарылышына яҡын булырға тейеш. Мәҫәлән,  интегралын иҫәпләгәндә,  киҫегендә өҙлөкһөҙ функцияны һәр ваҡыт интегралы еңел билдәләнгән  полиномы менән алмаштырырға мөмкин; йәки интегралды  сикле суммаһы менән алмаштырырға һәм килеп сыҡҡан мәсьәләне сығарырға мөмкин. Бындай алмаштырыуҙы башҡарыу өсөн, төп арауыҡты яҡшы алмаштырыусы элементтарҙың сикле күмәклеген табырға кәрәк. Һуңғы шарт метрик арауыҡҡа сикләүҙәр ҡуя. Төп сикләүxa0— ϵ {displaystyle epsilon } epsilon -селтәрҙең булыуы, унан арауыҡтың үҙендә компактлы һәм сепарабеллы булыуы килеп сыға. Шуның менән бергә, был сикләү мотлаҡ түгел. Функциональ анализдың хәҙерге ысулдары мәсьәләнең шартына нығыраҡ тап килгән метрик арауыҡтар һайларға мөмкинлек бирә.