Автор: И. А. Шилин

Предложен алгоритм вычисления топологий конечного множества и их исследования: проверки T[style=font-size:60%]0[/style]-аксиомы отделимости и связности, определения связности подмножеств, вычисления связных компонент, баз и гомеоморфизмов...