集合、群、拓扑都是必然有运算规则存在的，那么，一个自然拓扑体系上的规则，来自哪里