mathematical-space public under mathematical-set 77 List Picture As a command %3 n0 mathematical-space n2 metric-space n0->n2 n3 manifold n0->n3 n4 null-space n0->n4 n5 subspace n0->n5 n1 mathematical-set n1->n0