hilbert-space public under banach-space 1, metric-space 2, vector-space 3 List Picture As a command %3 n0 hilbert-space n1 banach-space n1->n0 n2 metric-space n2->n0 n3 vector-space n3->n0