topological-space public under mathematical-structure 88 List Picture As a command %3 n0 topological-space n2 metric-space n0->n2 n3 manifold n0->n3 n1 mathematical-structure n1->n0