Программный способ вычисления топологий и исследования их свойств

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