12.2.1 构造事务性Topology