mathematical-module public under algebraic-structure 35 List Picture As a command %3 n0 mathematical-module n2 vector-space n0->n2 n1 algebraic-structure n1->n0