>>216
それ、相対位相の定義だと思うんだが...

>>230
それくらいならフリーでもシェアでも
最強!!数学ソフトウェア(maple, mathcad etc)
http://science4.2ch.net/test/read.cgi/math/1051275230/
に名前が出てくるからそっからフリーのやつをいくつか試せば?