metric-space public under mathematical-space 6, topological-space 4 List Picture As a command %3 n0 metric-space n3 euclidean-space n0->n3 n4 hilbert-space n0->n4 n1 mathematical-space n1->n0 n2 topological-space n2->n0