vector-space public under mathematical-module 4 List Picture As a command %3 n0 vector-space n2 algebra-over-a-field n0->n2 n3 hilbert-space n0->n3 n1 mathematical-module n1->n0