拓扑正确性判断